public interface StateMachine extends Behavior
The following features are supported:
PivotPackage.getStateMachine()
Modifier and Type | Method and Description |
---|---|
java.util.List<StateMachine> |
getExtendedStateMachines()
Returns the value of the 'Extended State Machines' reference list.
|
java.util.List<Pseudostate> |
getOwnedConnectionPoints()
Returns the value of the 'Owned Connection Points' containment reference list.
|
java.util.List<Region> |
getOwnedRegions()
Returns the value of the 'Owned Regions' containment reference list.
|
java.util.List<State> |
getSubmachineStates()
Returns the value of the 'Submachine States' reference list.
|
getOwningTransition, setOwningTransition
createInstance, createInstance, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwningPackage, getSuperClasses, getTypeParameters, isIsAbstract, isIsActive, isIsInterface, isOrdered, isUnique, lookupActualOperation, lookupImplementation, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setOwningPackage, validateNameIsNotNull, validateUniqueInvariantName
conformsTo, flattenedType, getCommonType, getInheritance, getNormalizedType, getTypeId, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, specializeIn
oclEquals, oclHashCode
getOwnedConstraints
getName, setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
eAdapters, eDeliver, eNotify, eSetDeliver
getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement
java.util.List<StateMachine> getExtendedStateMachines()
StateMachine
.
The StateMachines of which this is an extension.
PivotPackage.getStateMachine_ExtendedStateMachines()
java.util.List<Pseudostate> getOwnedConnectionPoints()
Pseudostate
.
It is bidirectional and its opposite is 'Owning State Machine
'.
The connection points defined for this StateMachine. They represent the interface of the StateMachine when used as part of submachine State
PivotPackage.getStateMachine_OwnedConnectionPoints()
,
Pseudostate.getOwningStateMachine()
java.util.List<Region> getOwnedRegions()
Region
.
It is bidirectional and its opposite is 'Owning State Machine
'.
The Regions owned directly by the StateMachine.
PivotPackage.getStateMachine_OwnedRegions()
,
Region.getOwningStateMachine()
java.util.List<State> getSubmachineStates()
State
.
It is bidirectional and its opposite is 'Submachines
'.
References the submachine(s) in case of a submachine State. Multiple machines are referenced in case of a concurrent State.
PivotPackage.getStateMachine_SubmachineStates()
,
State.getSubmachines()