org.eclipse.ocl.examples.pivot
Interface StateMachine

All Superinterfaces:

Behavior, Class, DomainElement, DomainNamedElement, DomainNamespace, DomainType, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, OCLValue, ParameterableElement, PivotObject, TemplateableElement, Type, Visitable

All Known Implementing Classes:

StateMachineImpl

public interface StateMachine
extends Behavior

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:

• Connection Point
• Extended State Machine
• Region
• Submachine State

See Also:

PivotPackage.getStateMachine()

Generated

Method Summary

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.Behavior

getTransition, setTransition

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

getNestedType, getOwnedBehavior, isAbstract, isActive, isInterface, setIsAbstract, setIsActive, setIsInterface

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

getExtendedBys, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName

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

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

getOwnedRule

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

getName, isStatic, setIsStatic, setName

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

allOwnedElements, getETarget, getExtension, getOwnedAnnotation, 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

getRegion

java.util.List<Region> getRegion()

Returns the value of the 'Region' containment reference list. The list contents are of type Region. It is bidirectional and its opposite is 'State Machine'. The regions owned directly by the state machine.

Returns:

the value of the 'Region' containment reference list.

See Also:

PivotPackage.getStateMachine_Region(), Region.getStateMachine()

Generated

getConnectionPoint

java.util.List<Pseudostate> getConnectionPoint()

Returns the value of the 'Connection Point' containment reference list. The list contents are of type Pseudostate. The connection points defined for this state machine. They represent the interface of the state machine when used as part of submachine state.

Returns:

the value of the 'Connection Point' containment reference list.

See Also:

PivotPackage.getStateMachine_ConnectionPoint()

Generated

getExtendedStateMachine

java.util.List<StateMachine> getExtendedStateMachine()

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

Returns:

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

See Also:

PivotPackage.getStateMachine_ExtendedStateMachine()

Generated

getSubmachineState

java.util.List<State> getSubmachineState()

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

Returns:

the value of the 'Submachine State' reference list.

See Also:

PivotPackage.getStateMachine_SubmachineState(), State.getSubmachine()

Generated