|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface StateMachine
A representation of the model object 'State Machine'. State machines can be used to express the behavior of part of a system. Behavior is modeled as a traversal of a graph of state nodes interconnected by one or more joined transition arcs that are triggered by the dispatching of series of (event) occurrences. During this traversal, the state machine executes a series of activities associated with various elements of the state machine.
The following features are supported:
UMLPackage.getStateMachine()
Method Summary | |
---|---|
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(java.lang.String name)
Creates a new Pseudostate , with the specified 'Name', and appends it to the 'Connection Point' containment reference list |
Region |
createRegion(java.lang.String name)
Creates a new Region , with the specified 'Name', and appends it to the 'Region' containment reference list |
Pseudostate |
getConnectionPoint(java.lang.String name)
Retrieves the first Pseudostate with the specified 'Name' from the 'Connection Point' containment reference list |
Pseudostate |
getConnectionPoint(java.lang.String name,
boolean ignoreCase,
boolean createOnDemand)
Retrieves the first Pseudostate with the specified 'Name' from the 'Connection Point' containment reference list |
org.eclipse.emf.common.util.EList<Pseudostate> |
getConnectionPoints()
Returns the value of the 'Connection Point' containment reference list. |
StateMachine |
getExtendedStateMachine(java.lang.String name)
Retrieves the first StateMachine with the specified 'Name' from the 'Extended State Machine' reference list |
StateMachine |
getExtendedStateMachine(java.lang.String name,
boolean ignoreCase,
org.eclipse.emf.ecore.EClass eClass)
Retrieves the first StateMachine with the specified 'Name' from the 'Extended State Machine' reference list |
org.eclipse.emf.common.util.EList<StateMachine> |
getExtendedStateMachines()
Returns the value of the 'Extended State Machine' reference list. |
Region |
getRegion(java.lang.String name)
Retrieves the first Region with the specified 'Name' from the 'Region' containment reference list |
Region |
getRegion(java.lang.String name,
boolean ignoreCase,
boolean createOnDemand)
Retrieves the first Region with the specified 'Name' from the 'Region' containment reference list |
org.eclipse.emf.common.util.EList<Region> |
getRegions()
Returns the value of the 'Region' containment reference list. |
State |
getSubmachineState(java.lang.String name)
Retrieves the first State with the specified 'Name' from the 'Submachine State' reference list |
State |
getSubmachineState(java.lang.String name,
boolean ignoreCase,
org.eclipse.emf.ecore.EClass eClass)
Retrieves the first State with the specified 'Name' from the 'Submachine State' reference list |
org.eclipse.emf.common.util.EList<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(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
The classifier context of a state machine cannot be an interface. |
boolean |
validateConnectionPoints(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
The connection points of a state machine are pseudostates of kind entry point or exit point. |
boolean |
validateContextClassifier(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
The context classifier of the method state machine of a behavioral feature must be the classifier that owns the behavioral feature. |
boolean |
validateMethod(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A state machine as the method for a behavioral feature cannot have entry/exit connection points. |
Methods inherited from interface org.eclipse.uml2.uml.Class |
---|
createNestedClassifier, createOwnedOperation, createOwnedOperation, createOwnedReception, getExtension, getExtension, getExtensions, getNestedClassifier, getNestedClassifier, getNestedClassifiers, getOwnedOperation, getOwnedOperation, getOwnedOperations, getOwnedReception, getOwnedReception, getOwnedReceptions, getSuperClass, getSuperClass, getSuperClasses, isActive, isMetaclass, setIsActive, validatePassiveClass |
Methods inherited from interface org.eclipse.uml2.uml.EncapsulatedClassifier |
---|
createOwnedPort, getOwnedPort, getOwnedPort, getOwnedPorts |
Methods inherited from interface org.eclipse.uml2.uml.StructuredClassifier |
---|
createOwnedAttribute, createOwnedAttribute, createOwnedAttribute, createOwnedConnector, getOwnedAttribute, getOwnedAttribute, getOwnedAttributes, getOwnedConnector, getOwnedConnector, getOwnedConnectors, getPart, getPart, getParts, getRole, getRole, getRoles, validateMultiplicities |
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.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.Type |
---|
conformsTo, createAssociation, getAssociations, getPackage, setPackage |
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.ParameterableElement |
---|
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter |
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.TemplateableElement |
---|
createOwnedTemplateSignature, createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getTemplateBinding, getTemplateBindings, isTemplate, parameterableElements, setOwnedTemplateSignature |
Method Detail |
---|
org.eclipse.emf.common.util.EList<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(java.lang.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(java.lang.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(java.lang.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()
org.eclipse.emf.common.util.EList<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(java.lang.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(java.lang.String name, boolean ignoreCase, org.eclipse.emf.ecore.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()
org.eclipse.emf.common.util.EList<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(java.lang.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(java.lang.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(java.lang.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()
org.eclipse.emf.common.util.EList<StateMachine> getExtendedStateMachines()
StateMachine
.
The state machines of which this is an extension.
UMLPackage.getStateMachine_ExtendedStateMachine()
StateMachine getExtendedStateMachine(java.lang.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(java.lang.String name, boolean ignoreCase, org.eclipse.emf.ecore.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(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateContextClassifier(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateConnectionPoints(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateMethod(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
Namespace LCA(State s1, State s2)
boolean ancestor(State s1, State s2)
boolean isRedefinitionContextValid(StateMachine redefined)
|
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 |