|
||||||||||
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 |
---|
createConnection, createConnectionPoint, createDeferrableTrigger, createDoActivity, createDoActivity, createEntry, createEntry, createExit, createExit, createRegion, createStateInvariant, getConnection, getConnectionPoint, getDeferrableTrigger, getDoActivity, getEntry, getExit, getRedefinedState, getRegion, getStateInvariant, getSubmachine, isComposite, isOrthogonal, isSimple, isSubmachineState, setDoActivity, setEntry, setExit, setIsComposite, setIsOrthogonal, setIsSimple, 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 |
---|
createOwnedRule, getOwnedRule |
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement |
---|
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element |
---|
allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, 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 |