public interface StateMachine extends Behavior
The following features are supported:
PivotPackage.getStateMachine()
Modifier and Type | Method and Description |
---|---|
Pseudostate |
createConnectionPoint()
Creates a new
Pseudostate and appends it to the 'Connection Point' containment reference list. |
Region |
createRegion()
Creates a new
Region and appends it to the 'Region' containment reference list. |
java.util.List<Pseudostate> |
getConnectionPoint()
Returns the value of the 'Connection Point' containment reference list.
|
java.util.List<StateMachine> |
getExtendedStateMachine()
Returns the value of the 'Extended State Machine' reference list.
|
java.util.List<Region> |
getRegion()
Returns the value of the 'Region' containment reference list.
|
java.util.List<State> |
getSubmachineState()
Returns the value of the 'Submachine State' reference list.
|
createOwnedBehavior, createOwnedBehavior, getOwnedBehavior, isAbstract, isInterface, setIsAbstract, setIsInterface
createOwnedAttribute, createOwnedInvariant, createOwnedOperation, createOwnedOperation, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName
createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter
conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn
getOwnedRule
oclEquals, oclHashCode
createOwnedRule, getOwnedRule
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName
allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
java.util.List<Region> getRegion()
Region
.
The regions owned directly by the state machine.
PivotPackage.getStateMachine_Region()
Region createRegion()
Region
and appends it to the 'Region' containment reference list.
Region
.getRegion()
java.util.List<Pseudostate> getConnectionPoint()
Pseudostate
.
The connection points defined for this state machine. They represent the interface of the state machine when used as part of submachine state.
PivotPackage.getStateMachine_ConnectionPoint()
Pseudostate createConnectionPoint()
Pseudostate
and appends it to the 'Connection Point' containment reference list.
Pseudostate
.getConnectionPoint()
java.util.List<StateMachine> getExtendedStateMachine()
StateMachine
.
The state machines of which this is an extension.
PivotPackage.getStateMachine_ExtendedStateMachine()
java.util.List<State> getSubmachineState()
State
.
It is bidirectional and its opposite is 'Submachine
'.
References the submachine(s) in case of a submachine state. Multiple machines are referenced in case of a concurrent state.
PivotPackage.getStateMachine_SubmachineState()
,
State.getSubmachine()