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