org.eclipse.ocl.pivot

Interface FinalState

All Superinterfaces:

Element, Nameable, NamedElement, Namespace, State, Vertex, Visitable

All Known Implementing Classes:

FinalStateImpl

public interface FinalState
extends State

A representation of the model object 'Final State'. A special kind of State, which, when entered, signifies that the enclosing Region has completed. If the enclosing Region is directly contained in a StateMachine and all other Regions in that StateMachine also are completed, then it means that the entire StateMachine behavior is completed.

See Also:

PivotPackage.getFinalState()

EMF generated code

Method Summary

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

getOwnedConnectionPoints, getOwnedConnections, getOwnedDeferrableTriggers, getOwnedDoActivity, getOwnedEntry, getOwnedExit, getOwnedRegions, getOwnedStateInvariant, getRedefinedState, getSubmachines, isIsComposite, isIsOrthogonal, isIsSimple, isIsSubmachineState, setOwnedDoActivity, setOwnedEntry, setOwnedExit, setOwnedStateInvariant, setRedefinedState, setSubmachines

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

getOwnedConstraints

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

getIncomingTransitions, getOutgoingTransitions, getOwningRegion, setOwningRegion

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