|
|||||||||
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.
EGraph
s 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.
Change
s).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.EGraph
s.Else
' reference.
Engine
implementation.EObject
' reference.
EObject Integer Map Entry
' class.
EObject Integer Map Entry
' class.
EObject
with an Integer
.EObject
s with Integer
s.Equality Helper
' class.
Equality Helper
' class.
Model
s 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
'.
EObject
s of this graph which are compatible with the given type.
EObject
s 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.
EGraph
s to support partitioning.PartitionedEGraph
.StateSpace
s.Priority Unit
' class.
Priority Unit
' class.
ApplicationMonitor
implementation that gathers profiling statistics.StateSpaceManager
implementation for gathering profiling statistics.Properties
' map.
Pruned
' attribute.
EPackage
s from an Ecore file and
register them in the local package registry.
XMIResourceFactoryImpl
s 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 |