ObjectNode.getInState(java.lang.String name,
boolean ignoreCase,
org.eclipse.emf.ecore.EClass eClass)
Retrieves the first
State with the specified 'Name' from the 'In State' reference list
StateMachine.getSubmachineState(java.lang.String name,
boolean ignoreCase,
org.eclipse.emf.ecore.EClass eClass)
Retrieves the first
State with the specified 'Name' from the 'Submachine State' reference list
StateMachine.ancestor(
State s1,
State s2)
The query ancestor(s1, s2) checks whether s2 is an ancestor state of state s1. context StateMachine::ancestor (s1 : State, s2 : State) : Boolean
result = if (s2 = s1) then
true
else if (s1.container->isEmpty) then
true
else if (s2.container->isEmpty) then
false
else (ancestor (s1, s2.container))
StateMachine.LCA(
State s1,
State s2)
The operation LCA(s1,s2) returns an orthogonal state or region which is the least common ancestor of states s1 and s2, based on the statemachine containment hierarchy.
UMLSwitch.caseState(
State object)
Returns the result of interpreting the object as an instance of 'State'
boolean
UMLValidator.validateState_validateCompositeStates(
State state,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateCompositeStates constraint of 'State'
boolean
UMLValidator.validateState_validateDestinationsOrSourcesOfTransitions(
State state,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateDestinationsOrSourcesOfTransitions constraint of 'State'
boolean
UMLValidator.validateState_validateEntryOrExit(
State state,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateEntryOrExit constraint of 'State'
boolean
UMLValidator.validateState_validateSubmachineOrRegions(
State state,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSubmachineOrRegions constraint of 'State'
boolean
UMLValidator.validateState_validateSubmachineStates(
State state,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the validateSubmachineStates constraint of 'State'
boolean
UMLValidator.validateState(
State state,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)