Package com.sodius.mdw.metamodel.uml21
Interface FinalState
-
- All Superinterfaces:
Comparable<Object>
,Element
,org.eclipse.emf.ecore.EModelElement
,org.eclipse.emf.ecore.EObject
,MDWEObject
,MDWObject
,NamedElement
,Namespace
,org.eclipse.emf.common.notify.Notifier
,RedefinableElement
,State
,Vertex
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:
UMLPackage.getFinalState()
-
-
Field Summary
-
Fields inherited from interface com.sodius.mdw.metamodel.uml21.NamedElement
SEPARATOR
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description 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 com.sodius.mdw.metamodel.uml21.Element
addKeyword, allOwnedElements, applyStereotype, createEAnnotation, createOwnedComment, destroy, getApplicableStereotype, getApplicableStereotypes, getAppliedStereotype, getAppliedStereotypes, getAppliedSubstereotype, getAppliedSubstereotypes, getKeywords, getModel, getNearestPackage, getOwnedComments, getOwnedElements, getOwner, getRelationships, getRelationships, getRequiredStereotype, getRequiredStereotypes, getSourceDirectedRelationships, getSourceDirectedRelationships, getStereotypeApplication, getStereotypeApplications, getTargetDirectedRelationships, getTargetDirectedRelationships, getValue, hasKeyword, hasValue, isStereotypeApplicable, isStereotypeApplied, isStereotypeRequired, mustBeOwned, removeKeyword, setValue, unapplyStereotype, validateHasOwner, validateNotOwnSelf
-
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, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
-
Methods inherited from interface com.sodius.mdw.core.model.MDWObject
compareTo, eExtendedClass, eIsInstanceOf, eIsInstanceOf, eIsProfiled, eIsRemoved, eMetamodel, eMetaTypeName, eModel, eRemove, eSetUniqueID, eUniqueID, superScript, superScript, toBoolean, toBoolean, toByte, toByte, toChar, toChar, toDouble, toDouble, toFloat, toFloat, toInt, toInt, toList, toList, toList, toList, toList, toLong, toLong, toObject, toObject, toSet, toSet, toShort, toShort, toString, toString
-
Methods inherited from interface com.sodius.mdw.metamodel.uml21.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 com.sodius.mdw.metamodel.uml21.Namespace
createElementImport, createElementImport, createOwnedDiagram, createOwnedRule, createOwnedRule, createPackageImport, createPackageImport, excludeCollisions, getElementImport, getElementImport, getElementImports, getImportedElements, getImportedMember, getImportedMember, getImportedMembers, getImportedPackages, getMember, getMember, getMembers, getNamesOfMember, getOwnedDiagrams, getOwnedDiagrams, getOwnedMember, getOwnedMember, getOwnedMembers, getOwnedRule, getOwnedRule, getOwnedRules, getPackageImport, getPackageImport, getPackageImports, importMembers, membersAreDistinguishable, validateMembersDistinguishable
-
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
-
Methods inherited from interface com.sodius.mdw.metamodel.uml21.RedefinableElement
getRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateRedefinitionConsistent, validateRedefinitionContextValid
-
Methods inherited from interface com.sodius.mdw.metamodel.uml21.State
createConnection, createConnectionPoint, createDeferrableTrigger, createDoActivity, createEntry, createExit, createRegion, createStateInvariant, createStateInvariant, getConnection, getConnection, getConnectionPoint, getConnectionPoint, getConnectionPoints, getConnections, getDeferrableTrigger, getDeferrableTrigger, getDeferrableTriggers, getDoActivity, getEntry, getExit, getRedefinedState, getRegion, getRegion, getRegions, getStateInvariant, getSubmachine, isComposite, isOrthogonal, isRedefinitionContextValid, isSimple, isSubmachineState, redefinitionContext, setDoActivity, setEntry, setExit, setRedefinedState, setStateInvariant, setSubmachine, validateCompositeStates, validateDestinationsOrSourcesOfTransitions, validateEntryOrExit, validateSubmachineOrRegions, validateSubmachineStates
-
Methods inherited from interface com.sodius.mdw.metamodel.uml21.Vertex
containingStateMachine, getContainer, getIncoming, getIncoming, getIncomings, getOutgoing, getOutgoing, getOutgoings, setContainer
-
-
-
-
Method Detail
-
validateNoOutgoingTransitions
boolean validateNoOutgoingTransitions(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A final state cannot have any outgoing transitions. self.outgoing->size() = 0
-
validateNoRegions
boolean validateNoRegions(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A final state cannot have regions. self.region->size() = 0
-
validateCannotReferenceSubmachine
boolean validateCannotReferenceSubmachine(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A final state cannot reference a submachine. self.submachine->isEmpty()
-
validateNoEntryBehavior
boolean validateNoEntryBehavior(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A final state has no entry behavior. self.entry->isEmpty()
-
validateNoExitBehavior
boolean validateNoExitBehavior(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A final state has no exit behavior. self.exit->isEmpty()
-
validateNoStateBehavior
boolean validateNoStateBehavior(org.eclipse.emf.common.util.DiagnosticChain diagnostics, Map context)
A final state has no state (doActivity) behavior. self.doActivity->isEmpty()
-
-