org.eclipse.ocl.pivot

Interface StateMachine

All Superinterfaces:

Behavior, Class, Element, Nameable, NamedElement, Namespace, OCLValue, TemplateableElement, Type, Visitable

All Known Implementing Classes:

StateMachineImpl

public interface StateMachine
extends Behavior

A representation of the model object 'State Machine'. StateMachines can be used to express event-driven behaviors of parts of a system. Behavior is modeled as a traversal of a graph of Vertices interconnected by one or more joined Transition arcs that are triggered by the dispatching of successive Event occurrences. During this traversal, the StateMachine may execute a sequence of Behaviors associated with various elements of the StateMachine.

The following features are supported:

• Extended State Machines
• Owned Connection Points
• Owned Regions
• Submachine States

See Also:

PivotPackage.getStateMachine()

EMF generated code

Method Summary

Modifier and Type	Method and Description
List<StateMachine>	getExtendedStateMachines() Returns the value of the 'Extended State Machines' reference list.
List<Pseudostate>	getOwnedConnectionPoints() Returns the value of the 'Owned Connection Points' containment reference list.
List<Region>	getOwnedRegions() Returns the value of the 'Owned Regions' containment reference list.
List<State>	getSubmachineStates() Returns the value of the 'Submachine States' reference list.

Methods inherited from interface org.eclipse.ocl.pivot.Behavior

getOwningTransition, setOwningTransition

Methods inherited from interface org.eclipse.ocl.pivot.Class

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

Methods inherited from interface org.eclipse.ocl.pivot.Type

conformsTo, flattenedType, getCommonType, getInheritance, getNormalizedType, getTypeId, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, specializeIn

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

Methods inherited from interface org.eclipse.ocl.pivot.Namespace

getOwnedConstraints

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Methods inherited from interface org.eclipse.ocl.pivot.TemplateableElement

getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement

Method Detail

getExtendedStateMachines

List<StateMachine> getExtendedStateMachines()

Returns the value of the 'Extended State Machines' reference list. The list contents are of type StateMachine. The StateMachines of which this is an extension.

Returns:

the value of the 'Extended State Machines' reference list.

See Also:

PivotPackage.getStateMachine_ExtendedStateMachines()

EMF generated code

getOwnedConnectionPoints

List<Pseudostate> getOwnedConnectionPoints()

Returns the value of the 'Owned Connection Points' containment reference list. The list contents are of type 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

Returns:

the value of the 'Owned Connection Points' containment reference list.

See Also:

PivotPackage.getStateMachine_OwnedConnectionPoints(), Pseudostate.getOwningStateMachine()

EMF generated code

getOwnedRegions

List<Region> getOwnedRegions()

Returns the value of the 'Owned Regions' containment reference list. The list contents are of type Region. It is bidirectional and its opposite is 'Owning State Machine'. The Regions owned directly by the StateMachine.

Returns:

the value of the 'Owned Regions' containment reference list.

See Also:

PivotPackage.getStateMachine_OwnedRegions(), Region.getOwningStateMachine()

EMF generated code

getSubmachineStates

List<State> getSubmachineStates()

Returns the value of the 'Submachine States' reference list. The list contents are of type 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.

Returns:

the value of the 'Submachine States' reference list.

See Also:

PivotPackage.getStateMachine_SubmachineStates(), State.getSubmachines()

EMF generated code