|
|||||||||||
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(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
A final state cannot reference a submachine. |
boolean |
validateNoEntryBehavior(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
A final state has no entry behavior. |
boolean |
validateNoExitBehavior(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
A final state has no exit behavior. |
boolean |
validateNoOutgoingTransitions(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
A final state cannot have any outgoing transitions. |
boolean |
validateNoRegions(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map context)
A final state cannot have regions. |
boolean |
validateNoStateBehavior(org.eclipse.emf.common.util.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(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateNoRegions(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateCannotReferenceSubmachine(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateNoEntryBehavior(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateNoExitBehavior(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
public boolean validateNoStateBehavior(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
|
Copyright 2003, 2007 IBM Corporation and others. All Rights Reserved. |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |