|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface FinalState
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.
PivotPackage.getFinalState()
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 |
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |