|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface StateMachine
A representation of the model object 'State Machine'. State machines can be used to express the behavior of part of a system. Behavior is modeled as a traversal of a graph of state nodes interconnected by one or more joined transition arcs that are triggered by the dispatching of series of (event) occurrences. During this traversal, the state machine executes a series of activities associated with various elements of the state machine.
The following features are supported:
PivotPackage.getStateMachine()
Method Summary | |
---|---|
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. |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Class |
---|
createOwnedBehavior, createOwnedBehavior, getOwnedBehavior, isAbstract, isInterface, setIsAbstract, setIsInterface |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Type |
---|
createOwnedAttribute, createOwnedInvariant, createOwnedOperation, createOwnedOperation, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName |
Methods inherited from interface org.eclipse.ocl.examples.pivot.TemplateableElement |
---|
createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement |
Methods inherited from interface org.eclipse.ocl.examples.pivot.ParameterableElement |
---|
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter |
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType |
---|
conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn |
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace |
---|
getOwnedRule |
Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue |
---|
oclEquals, oclHashCode |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Namespace |
---|
createOwnedRule, getOwnedRule |
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement |
---|
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element |
---|
allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, getValue |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable |
---|
accept, eClass |
Method Detail |
---|
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()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |