org.eclipse.ocl.examples.pivot
Interface FinalState

All Superinterfaces:
DomainElement, DomainNamedElement, DomainNamespace, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, PivotObject, 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 signifying that the enclosing region is completed. If the enclosing region is directly contained in a state machine and all other regions in the state machine also are completed, then it means that the entire state machine is completed.

See Also:
PivotPackage.getFinalState()
Generated

Method Summary
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.State
getConnection, getConnectionPoint, getDeferrableTrigger, getDoActivity, getEntry, getExit, getRedefinedState, getRegion, getStateInvariant, getSubmachine, isComposite, isOrthogonal, isSimple, isSubmachineState, setDoActivity, setEntry, setExit, setIsSubmachineState, setRedefinedState, setStateInvariant, setSubmachine
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Vertex
getContainer, getIncoming, getOutgoing, setContainer
 
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