Vertex.containingStateMachine()
The operation containingStateMachine() returns the state machine in which this Vertex is defined
result = if not container->isEmpty()
then
-- the container is a region
container.containingStateMachine()
else if (oclIsKindOf(Pseudostate)) then
-- entry or exit point?
Transition.containingStateMachine()
The query containingStateMachine() returns the state machine that contains the transition either directly or transitively.
Region.containingStateMachine()
The operation containingStateMachine() returns the sate machine in which this Region is defined
result = if stateMachine->isEmpty()
then
state.containingStateMachine()
else
stateMachine
endif
StateMachine.getExtendedStateMachine(java.lang.String name)
Retrieves the first
StateMachine with the specified 'Name' from the 'Extended State Machine' reference list
StateMachine.getExtendedStateMachine(java.lang.String name,
boolean ignoreCase,
org.eclipse.emf.ecore.EClass eClass)
Retrieves the first
StateMachine with the specified 'Name' from the 'Extended State Machine' reference list