|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.
UMLPackage.getFinalState()
Field Summary |
Fields inherited from interface org.eclipse.uml2.uml.NamedElement |
SEPARATOR |
Method Summary | |
boolean |
validateCannotReferenceSubmachine(DiagnosticChain diagnostics,
Map context)
A final state cannot reference a submachine. |
boolean |
validateNoEntryBehavior(DiagnosticChain diagnostics,
Map context)
A final state has no entry behavior. |
boolean |
validateNoExitBehavior(DiagnosticChain diagnostics,
Map context)
A final state has no exit behavior. |
boolean |
validateNoOutgoingTransitions(DiagnosticChain diagnostics,
Map context)
A final state cannot have any outgoing transitions. |
boolean |
validateNoRegions(DiagnosticChain diagnostics,
Map context)
A final state cannot have regions. |
boolean |
validateNoStateBehavior(DiagnosticChain diagnostics,
Map context)
A final state has no state (doActivity) behavior. |
Methods inherited from interface org.eclipse.uml2.uml.NamedElement |
allNamespaces, allOwningPackages, createDependency, createNameExpression, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnership |
Methods inherited from interface org.eclipse.emf.ecore.EModelElement |
getEAnnotation, getEAnnotations |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, 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.uml2.uml.RedefinableElement |
getRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateRedefinitionConsistent, validateRedefinitionContextValid |
Methods inherited from interface org.eclipse.uml2.uml.Vertex |
containingStateMachine, getContainer, getIncoming, getIncoming, getIncomings, getOutgoing, getOutgoing, getOutgoings, setContainer |
Method Detail |
public boolean validateNoOutgoingTransitions(DiagnosticChain diagnostics, Map context)
public boolean validateNoRegions(DiagnosticChain diagnostics, Map context)
public boolean validateCannotReferenceSubmachine(DiagnosticChain diagnostics, Map context)
public boolean validateNoEntryBehavior(DiagnosticChain diagnostics, Map context)
public boolean validateNoExitBehavior(DiagnosticChain diagnostics, Map context)
public boolean validateNoStateBehavior(DiagnosticChain diagnostics, Map context)
|
Copyright 2003, 2006 IBM Corporation and others. All Rights Reserved. |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |