public interface StateMachine extends Behavior
The following features are supported:
UMLPackage.getStateMachine()SEPARATOR| Modifier and Type | Method and Description |
|---|---|
boolean |
ancestor(State s1,
State s2)
The query ancestor(s1, s2) checks whether s2 is an ancestor state of state s1. context StateMachine::ancestor (s1 : State, s2 : State) :
Boolean
result = if (s2 = s1) then
true
else if (s1.container->isEmpty) then
true
else if (s2.container->isEmpty) then
false
else (ancestor (s1, s2.container))
|
Pseudostate |
createConnectionPoint(String name)
Creates a new
Pseudostate, with the specified 'Name', and appends it to the '
Connection Point' containment reference list |
Region |
createRegion(String name)
Creates a new
Region, with the specified 'Name', and appends it to the '
Region' containment reference list |
Pseudostate |
getConnectionPoint(String name)
Retrieves the first
Pseudostate with the specified 'Name' from the '
Connection Point' containment reference list |
Pseudostate |
getConnectionPoint(String name,
boolean ignoreCase,
boolean createOnDemand)
Retrieves the first
Pseudostate with the specified 'Name' from the '
Connection Point' containment reference list |
MDWEList<Pseudostate> |
getConnectionPoints()
Returns the value of the 'Connection Point' containment reference list.
|
StateMachine |
getExtendedStateMachine(String name)
Retrieves the first
StateMachine with the specified 'Name' from the '
Extended State Machine' reference list |
StateMachine |
getExtendedStateMachine(String name,
boolean ignoreCase,
EClass eClass)
Retrieves the first
StateMachine with the specified 'Name' from the '
Extended State Machine' reference list |
MDWEList<StateMachine> |
getExtendedStateMachines()
Returns the value of the 'Extended State Machine' reference list.
|
Region |
getRegion(String name)
Retrieves the first
Region with the specified 'Name' from the 'Region'
containment reference list |
Region |
getRegion(String name,
boolean ignoreCase,
boolean createOnDemand)
Retrieves the first
Region with the specified 'Name' from the 'Region'
containment reference list |
MDWEList<Region> |
getRegions()
Returns the value of the 'Region' containment reference list.
|
State |
getSubmachineState(String name)
Retrieves the first
State with the specified 'Name' from the '
Submachine State' reference list |
State |
getSubmachineState(String name,
boolean ignoreCase,
EClass eClass)
Retrieves the first
State with the specified 'Name' from the '
Submachine State' reference list |
MDWEList<State> |
getSubmachineStates()
Returns the value of the 'Submachine State' reference list.
|
boolean |
isRedefinitionContextValid(StateMachine redefined)
The query isRedefinitionContextValid() specifies whether the redefinition contexts of a statemachine are properly related to the redefinition
contexts of the specified statemachine to allow this element to redefine the other.
|
Namespace |
LCA(State s1,
State s2)
The operation LCA(s1,s2) returns an orthogonal state or region which is the least common ancestor of states s1 and s2, based on the
statemachine containment hierarchy.
|
boolean |
validateClassifierContext(DiagnosticChain diagnostics,
Map context)
The classifier context of a state machine cannot be an interface.
|
boolean |
validateConnectionPoints(DiagnosticChain diagnostics,
Map context)
The connection points of a state machine are pseudostates of kind entry point or exit point.
|
boolean |
validateContextClassifier(DiagnosticChain diagnostics,
Map context)
The context classifier of the method state machine of a behavioral feature must be the classifier that owns the behavioral feature.
|
boolean |
validateMethod(DiagnosticChain diagnostics,
Map context)
A state machine as the method for a behavioral feature cannot have entry/exit connection points.
|
createOwnedParameter, createOwnedParameterSet, createPostcondition, createPostcondition, createPrecondition, createPrecondition, getContext, getOwnedParameter, getOwnedParameter, getOwnedParameters, getOwnedParameterSet, getOwnedParameterSet, getOwnedParameterSets, getPostcondition, getPostcondition, getPostconditions, getPrecondition, getPrecondition, getPreconditions, getRedefinedBehavior, getRedefinedBehavior, getRedefinedBehaviors, getSpecification, isReentrant, setIsReentrant, setSpecification, validateFeatureOfContextClassifier, validateMostOneBehaviour, validateMustRealize, validateParametersMatchcreateNestedClassifier, createOwnedOperation, createOwnedOperation, createOwnedReception, getExtension, getExtension, getExtensions, getNestedClassifier, getNestedClassifier, getNestedClassifiers, getOwnedOperation, getOwnedOperation, getOwnedOperations, getOwnedReception, getOwnedReception, getOwnedReceptions, getSuperClass, getSuperClass, getSuperClasses, isActive, isMetaclass, setIsActive, validatePassiveClasscreateOwnedPort, getOwnedPort, getOwnedPort, getOwnedPortscreateOwnedAttribute, createOwnedAttribute, createOwnedAttribute, createOwnedConnector, getOwnedAttribute, getOwnedAttribute, getOwnedAttributes, getOwnedConnector, getOwnedConnector, getOwnedConnectors, getPart, getPart, getParts, getRole, getRole, getRoles, validateMultiplicitiesallFeatures, allParents, conformsTo, createCollaborationUse, createGeneralization, createOwnedUseCase, createRepresentation, createSubstitution, getAllAttributes, getAllOperations, getAllUsedInterfaces, getAttribute, getAttribute, getAttributes, getCollaborationUse, getCollaborationUse, getCollaborationUses, getFeature, getFeature, getFeatures, getGeneral, getGeneral, getGeneralization, getGeneralization, getGeneralizations, getGenerals, getInheritedMember, getInheritedMember, getInheritedMembers, getOperation, getOperation, getOperations, getOwnedUseCase, getOwnedUseCase, getOwnedUseCases, getPowertypeExtent, getPowertypeExtent, getPowertypeExtents, getRedefinedClassifier, getRedefinedClassifier, getRedefinedClassifiers, getRepresentation, getSubstitution, getSubstitution, getSubstitutions, getUseCase, getUseCase, getUseCases, getUsedInterfaces, hasVisibilityOf, inherit, inheritableMembers, isAbstract, isFinalSpecialization, maySpecializeType, parents, setIsAbstract, setIsFinalSpecialization, setRepresentation, validateGeneralizationHierarchies, validateMapsToGeneralizationSet, validateNoCyclesInGeneralization, validateSpecializeTypecreateElementImport, 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, validateMembersDistinguishablegetRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateRedefinitionConsistent, validateRedefinitionContextValidconformsTo, createAssociation, getAssociations, getPackage, setPackageallNamespaces, allOwningPackages, createDependency, createNameExpression, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnershipgetOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameteraddKeyword, 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, validateNotOwnSelfcompareTo, 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, toStringgetEAnnotation, getEAnnotationseAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnseteAdapters, eDeliver, eNotify, eSetDelivercreateOwnedTemplateSignature, createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getTemplateBinding, getTemplateBindings, isTemplate, parameterableElements, setOwnedTemplateSignaturecreateClassifierBehavior, createInterfaceRealization, createOwnedBehavior, createOwnedTrigger, getAllImplementedInterfaces, getClassifierBehavior, getImplementedInterfaces, getInterfaceRealization, getInterfaceRealization, getInterfaceRealizations, getOwnedBehavior, getOwnedBehavior, getOwnedBehaviors, getOwnedTrigger, getOwnedTrigger, getOwnedTriggers, setClassifierBehavior, validateClassBehaviorMDWEList<Region> getRegions()
Region.
It is bidirectional and its opposite is 'State Machine'.
The regions owned directly by the state machine.
UMLPackage.getStateMachine_Region(),
Region.getStateMachine()Region createRegion(String name)
Region, with the specified 'Name', and appends it to the '
Region' containment reference list.
name - The 'Name' for the new Region, or null.Region.getRegions()Region getRegion(String name)
Region with the specified 'Name' from the 'Region'
containment reference list.
name - The 'Name' of the Region to retrieve, or null.Region with the specified 'Name', or null.getRegions()Region getRegion(String name, boolean ignoreCase, boolean createOnDemand)
Region with the specified 'Name' from the 'Region'
containment reference list.
name - The 'Name' of the Region to retrieve, or null.ignoreCase - Whether to ignore case in String comparisons.createOnDemand - Whether to create a Region on demand if not found.Region with the specified 'Name', or null.getRegions()MDWEList<State> getSubmachineStates()
State.
It is bidirectional and its opposite is 'Submachine'.
References the submachine(s) in case of a submachine state. Multiple machines are referenced in case of a concurrent state.
UMLPackage.getStateMachine_SubmachineState(),
State.getSubmachine()State getSubmachineState(String name)
State with the specified 'Name' from the '
Submachine State' reference list.
name - The 'Name' of the State to retrieve, or null.State with the specified 'Name', or null.getSubmachineStates()State getSubmachineState(String name, boolean ignoreCase, EClass eClass)
State with the specified 'Name' from the '
Submachine State' reference list.
name - The 'Name' of the State to retrieve, or null.ignoreCase - Whether to ignore case in String comparisons.eClass - The Ecore class of the State to retrieve, or null.State with the specified 'Name', or null.getSubmachineStates()MDWEList<Pseudostate> getConnectionPoints()
Pseudostate.
It is bidirectional and its opposite is 'State Machine'.
The connection points defined for this state machine. They represent the interface of the state machine when used as part of submachine state.
UMLPackage.getStateMachine_ConnectionPoint(),
Pseudostate.getStateMachine()Pseudostate createConnectionPoint(String name)
Pseudostate, with the specified 'Name', and appends it to the '
Connection Point' containment reference list.
name - The 'Name' for the new Pseudostate, or null.Pseudostate.getConnectionPoints()Pseudostate getConnectionPoint(String name)
Pseudostate with the specified 'Name' from the '
Connection Point' containment reference list.
name - The 'Name' of the Pseudostate to retrieve, or null.Pseudostate with the specified 'Name', or null.getConnectionPoints()Pseudostate getConnectionPoint(String name, boolean ignoreCase, boolean createOnDemand)
Pseudostate with the specified 'Name' from the '
Connection Point' containment reference list.
name - The 'Name' of the Pseudostate to retrieve, or null.ignoreCase - Whether to ignore case in String comparisons.createOnDemand - Whether to create a Pseudostate on demand if not found.Pseudostate with the specified 'Name', or null.getConnectionPoints()MDWEList<StateMachine> getExtendedStateMachines()
StateMachine.
The state machines of which this is an extension.
UMLPackage.getStateMachine_ExtendedStateMachine()StateMachine getExtendedStateMachine(String name)
StateMachine with the specified 'Name' from the '
Extended State Machine' reference list.
name - The 'Name' of the StateMachine to retrieve, or null.StateMachine with the specified 'Name', or null.getExtendedStateMachines()StateMachine getExtendedStateMachine(String name, boolean ignoreCase, EClass eClass)
StateMachine with the specified 'Name' from the '
Extended State Machine' reference list.
name - The 'Name' of the StateMachine to retrieve, or null.ignoreCase - Whether to ignore case in String comparisons.eClass - The Ecore class of the StateMachine to retrieve, or null.StateMachine with the specified 'Name', or null.getExtendedStateMachines()boolean validateClassifierContext(DiagnosticChain diagnostics, Map context)
boolean validateContextClassifier(DiagnosticChain diagnostics, Map context)
boolean validateConnectionPoints(DiagnosticChain diagnostics, Map context)
boolean validateMethod(DiagnosticChain diagnostics, Map context)
Namespace LCA(State s1, State s2)
boolean ancestor(State s1, State s2)
boolean isRedefinitionContextValid(StateMachine redefined)