|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
UnitApplicationImpl and RuleApplicationImpl.StateSpaceValidator interface.GraphElement.Action' attribute.
Action' attribute.
Action' attribute.
Activated' attribute.
Activated' attribute.
EPackage.
EObject and all reachable objects to this graph.
EObject and all its children to this graph.
All Parameter Keys' attribute.
And' class.
And' class.
Annotation' class.
Annotation' class.
Annotations' containment reference list.
EGraphs are isomorphic.
Assignment implementation.Attribute' class.
Attribute' class.
Attribute Condition' class.
Attribute Condition' class.
Attribute Conditions' containment reference list.
Attributes' containment reference list.
ApplicationMonitor implementation.StateSpaceManager implementation.Binary Formula' class.
Binary Formula' class.
Changes).Change and its sub-interfaces.AttributeChange.CompoundChange.IndexChange.ObjectChange.ReferenceChange.Check Dangling' attribute.
Check Link Order' attribute.
Check Dangling' attribute.
Check Link Order' attribute.
Child' containment reference.
EGraphImpl of this model.
Conclusion' containment reference.
Condition Text' attribute.
Conditional Unit' class.
Conditional Unit' class.
Condition Text' attribute.
Constant' attribute.
Constant' attribute.
target.
target.
target.
target.
And'.
Annotation'.
ApplicationMonitor.
Assignment object.
Attribute'.
Attribute Condition'.
Binary Formula'.
Change for applying a rule.
Conditional Unit'.
Edge'.
EGraph object.
Engine object.
EObject Integer Map Entry'.
Equality Helper'.
Formula'.
Graph'.
Graph Element'.
Independent Unit'.
Iterated Unit'.
Loop Unit'.
Mapping'.
Match.
Model'.
Model Element'.
Module'.
Multi Unit'.
Named Element'.
Nested Condition'.
Node'.
Not'.
Or'.
Parameter'.
Parameter Mapping'.
Priority Unit'.
Rule'.
RuleApplication.
Sequential Unit'.
State'.
State Space'.
Storage'.
Trace'.
Transition'.
Unary Formula'.
Unary Unit'.
Unit'.
UnitApplication.
WLink'.
WMember'.
WObject'.
WSynchronizer'.
WValue'.
Xor'.
Data' attribute.
Data' attribute.
Derived From' attribute.
Description' attribute.
Description' attribute.
source of diagnostic codes from this package.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
caseXXX for each class of the model until one returns a non null result; it yields that result.
Edge' class.
Edge' class.
Edges' containment reference list.
EObject graphs.EGraph' attribute.
EGraph' attribute.
EGraph implementation.EGraphs.Else' reference.
Engine implementation.EObject' reference.
EObject Integer Map Entry' class.
EObject Integer Map Entry' class.
EObject with an Integer.EObjects with Integers.Equality Helper' class.
Equality Helper' class.
Models and computing their hash codes.Equality Helper' containment reference.
EqualityHelper.EStructural Feature' reference.
EValue' attribute.
EValue' attribute.
AssertionError if it could
not be successfully applied (if UnitApplication.execute(ApplicationMonitor)
returns false).
Rule in an EGraph.
Path for a given trace.
Path for a given list of states.
Formula' class.
Formula' class.
Formula' containment reference.
Action'.
And'.
Annotation'.
Key'.
Value'.
Attribute'.
Attribute instance according to the give attribute
type.
Constant'.
Node'.
Null'.
Type'.
Value'.
Attribute Condition'.
Condition Text'.
Rule'.
Binary Formula'.
Left'.
Right'.
Conditional Unit'.
Else'.
If'.
Then'.
EObjects of this graph which are compatible with the given type.
EObjects of this graph which are compatible with the given type
and are in a given partition.
Edge'.
Graph'.
Index'.
Index Constant'.
Source'.
Target'.
Type'.
EGraph to be changed.
EGraph to be transformed.
EGraph instance for this model.
EGraph'.
EObject contained in it.
EObject Integer Map Entry'.
Key'.
Value'.
Equality Helper'.
Check Link Order'.
Identity Types'.
Ignored Attributes'.
Formula'.
null if it does not have a fragment.
Graph'.
Edges'.
Formula'.
Nodes'.
Graph Element'.
Action'.
Edge with this node as target, the given node as
source and the given type as edge type.
Independent Unit'.
Iterated Unit'.
Iterations'.
Loop Unit'.
Mapping'.
Image'.
Origin'.
Match'.
Model from a
file given as a path and file name.
Model'.
EGraph'.
Object Count'.
Object Hash Codes'.
Object Keys'.
Object Keys Map'.
Resource'.
Model Element'.
Annotations'.
Module'.
Module from a Henshin file given as a
path and file name.
Module from a Henshin file given by a URI.
Module from a Henshin file given as a
path and file name.
Imports'.
Instances'.
Sub Modules'.
Super Module'.
Units'.
Multi Unit'.
Sub Units'.
Named Element'.
Description'.
Name'.
Nested Condition'.
Conclusion'.
Mappings'.
Node'.
Attributes'.
Graph'.
Incoming'.
Outgoing'.
Type'.
Not'.
Or'.
Edge with this node as source, the given node as
target and the given type as edge type.
Parameter'.
Type'.
Unit'.
Parameter Mapping'.
Source'.
Target'.
Priority Unit'.
Rule this graph is contained in or null if it is not directly contained in a Rule.
Rule'.
Attribute Conditions'.
Check Dangling'.
Injective Matching'.
Java Imports'.
Lhs'.
Mappings'.
Multi Mappings'.
Multi Rules'.
Rhs'.
Sequential Unit'.
Rollback'.
Strict'.
State'.
Derived From'.
Goal'.
Hash Code'.
Incoming'.
Index'.
Location'.
Model'.
Object Count'.
Object Keys'.
Open'.
Outgoing'.
Pruned'.
State Space'.
StateSpace from a
file given as a path and file name.
State Space'.
All Parameter Keys'.
Equality Helper'.
Initial States'.
Layout Hide Indizes'.
Layout Hide Labels'.
Layout State Repulsion'.
Layout Transition Attraction'.
Layout Zoom Level'.
Max State Distance'.
Open States'.
Properties'.
Rules'.
State Count'.
States'.
Transition Count'.
Storage'.
Data'.
Trace'.
Name'.
Source'.
Sub Traces'.
Target'.
Transition'.
Match'.
Parameter Count'.
Parameter Keys'.
Rule'.
Source'.
Target'.
Unary Formula'.
Child'.
Unary Unit'.
Sub Unit'.
Unit'.
Activated'.
Parameter Mappings'.
Parameters'.
WLink'.
WTarget'.
WMember'.
EStructural Feature'.
WObject'.
EClass'.
EObject'.
WMembers'.
WSynchronizer'.
Synchronize'.
WValue'.
EValue'.
Xor'.
Goal' attribute.
EGraph to be changed.
Graph' class.
Graph' class.
Graph Element' class.
Graph Element' class.
Hash Code' attribute.
true if this action has the same fragment as the argument action.
true if this action has the same multi-flag as the argument action.
true if this action has the same path as the argument action.
true if this action has the same type as the argument action.
Graph-to-EGraph converter.Identity Types' reference list.
If' reference.
Ignored Attributes' reference list.
Image' reference.
Imports' reference list.
Incoming' reference list.
Incoming' reference list.
Independent Unit' class.
Independent Unit' class.
Index' attribute.
Index' attribute.
Index Constant' attribute.
Index' attribute.
Index' attribute.
Index Constant' attribute.
Initial States' reference list.
Injective Matching' attribute.
Injective Matching' attribute.
InterpreterFactory implementation.true if a property was successfully validated.
Iterated Unit' class.
Iterated Unit' class.
Iterations' attribute.
Iterations' attribute.
Java Imports' attribute list.
Key' attribute.
Key' reference.
Key' attribute.
Layout Hide Indizes' attribute.
Layout Hide Labels' attribute.
Layout State Repulsion' attribute.
Layout Transition Attraction' attribute.
Layout Zoom Level' attribute.
Left' containment reference.
Lhs' containment reference.
Location' attribute.
ApplicationMonitor implementation with logging capabilities.Loop Unit' class.
Loop Unit' class.
Mapping' class.
Mapping' class.
MappingList interface.Mapping lists.MappingList interface.Mappings' containment reference list.
Mappings' containment reference list.
Match' attribute.
Match implementation.Max State Distance' attribute.
Model' attribute.
State models.Model' class.
Model' class.
Model Element' class.
Model Element' class.
Model.createXXX methods.
createXXX methods.
createXXX methods.
createXXX methods.
Module' class.
Module' class.
Multi Unit' class.
Multi Unit' class.
Multi Mappings' containment reference list.
Multi Rules' containment reference list.
Name' attribute.
Name' attribute.
Name' attribute.
Name' attribute.
Named Element' class.
Named Element' class.
Nested Condition' class.
Nested Condition' class.
Node' class.
Node' class.
Nodes' containment reference list.
Not' class.
Not' class.
Null' attribute.
Null' attribute.
Object Count' attribute.
Object Count' attribute.
Object Keys' attribute.
Object Keys' attribute.
Object Hash Codes' map.
Object Keys Map' map.
Open' attribute.
Or' class.
Or' class.
Origin' reference.
Outgoing' reference list.
Outgoing' containment reference list.
StateSpaceManager implementation.Parameter' class.
Parameter' class.
Parameter Count' attribute.
Parameter Keys' attribute.
Parameter Mapping' class.
Parameter Mapping' class.
Parameter Mappings' containment reference list.
Parameters' containment reference list.
EGraphs to support partitioning.PartitionedEGraph.StateSpaces.Priority Unit' class.
Priority Unit' class.
ApplicationMonitor implementation that gathers profiling statistics.StateSpaceManager implementation for gathering profiling statistics.Properties' map.
Pruned' attribute.
EPackages from an Ecore file and
register them in the local package registry.
XMIResourceFactoryImpls for the given file extensions.
EObject and all reachable objects from this graph.
EObject and all its children from this graph.
Resource'
attribute.
Resource'
attribute.
Rhs' containment reference.
Right' containment reference.
Rollback' attribute.
Rollback' attribute.
Rule' class.
Rule' class.
Rule' attribute.
Rule applications.RuleApplication implementation.Rules' reference list.
EObject at a given path.
EObject at a given URI.
Sequential Unit' class.
Sequential Unit' class.
Action' attribute.
Activated' attribute.
Check Dangling' attribute.
Child' containment reference.
Conclusion' containment reference.
Condition Text' attribute.
Data' attribute.
Derived From' attribute.
Description' attribute.
EClass' reference.
EGraph to be transformed.
Else' reference.
EObject' reference.
EStructural Feature' reference.
EValue' attribute.
Formula' containment reference.
Goal' attribute.
Graph' container reference.
Graph' container reference.
If' reference.
Image' reference.
Index' attribute.
Injective Matching' attribute.
Iterations' attribute.
Key' attribute.
Layout Hide Indizes' attribute.
Left' containment reference.
Lhs' containment reference.
Match' attribute.
Name' attribute.
Name' attribute.
Node' container reference.
Origin' reference.
Pruned' attribute.
Rhs' containment reference.
Right' containment reference.
Rollback' attribute.
Rule' container reference.
Rule' reference.
Source' reference.
Source' reference.
Source' container reference.
Strict' attribute.
Sub Unit' reference.
Super Module' container reference.
Synchronize' attribute.
Target' reference.
Target' reference.
Target' reference.
Then' reference.
Type' reference.
Type' reference.
Type' reference.
Type' reference.
Unit' container reference.
Value' attribute.
Value' attribute.
WTarget' reference.
StateSpaceValidator that computes the shortest path to some target states.Source' reference.
Source' reference.
Source' reference list.
State' class.
State' class.
State Count' attribute.
State Space' class.
State Space' class.
State interface.States' containment reference list.
StateSpaceFactory.StateSpace interface.StateSpaceIndex.StateSpacePackage.Storage' class.
Storage' class.
Storage interface.Strict' attribute.
Strict' attribute.
Sub Modules' containment reference list.
Sub Traces' containment reference list.
Sub Unit' reference.
Sub Units' reference list.
Synchronize' attribute.
Synchronize' attribute.
Target' reference.
Target' reference.
Target' reference.
Target' reference list.
Then' reference.
Trace' class.
Trace' class.
Transition' class.
Transition' class.
Transition Count' attribute.
Transition Count' attribute.
Transition interface.Type' reference.
Type' reference.
Type' reference.
Type' reference.
Unary Formula' class.
Unary Formula' class.
Unary Unit' class.
Unary Unit' class.
Unit' class.
Unit' class.
Unit applications.UnitApplication implementation.Units' containment reference list.
AttributeImpl.constant field of this attribute.
validateXXX for the corresponding classifier of the model.
Value' attribute.
Value' attribute.
Value' attribute.
Value' attribute.
Value' attribute.
Value' attribute.
WLink' class.
WLink' class.
WMember' class.
WMember' class.
WMembers' containment reference list.
WObject' class.
WObject' class.
WSynchronizer' class.
WSynchronizer' class.
WTarget' reference.
WValue' class.
WValue' class.
Xor' class.
Xor' class.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||