|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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()
Field Summary |
Fields inherited from interface org.eclipse.uml2.uml.NamedElement |
SEPARATOR |
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(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 |
EList |
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 |
EList |
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 |
EList |
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 |
EList |
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. |
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.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.Type |
conformsTo, createAssociation, getAssociations, getPackage, setPackage |
Methods inherited from interface org.eclipse.uml2.uml.ParameterableElement |
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter |
Methods inherited from interface org.eclipse.uml2.uml.TemplateableElement |
createOwnedTemplateSignature, createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getTemplateBinding, getTemplateBindings, isTemplate, parameterableElements, setOwnedTemplateSignature |
Method Detail |
public EList getRegions()
Region
.
It is bidirectional and its opposite is 'State Machine
'.
The regions owned directly by the state machine.
UMLPackage.getStateMachine_Region()
,
Region.getStateMachine()
public 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
.StateMachine.getRegions()
public 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
.StateMachine.getRegions()
public 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
.StateMachine.getRegions()
public EList 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()
public 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
.StateMachine.getSubmachineStates()
public 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
.StateMachine.getSubmachineStates()
public EList 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()
public 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
.StateMachine.getConnectionPoints()
public 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
.StateMachine.getConnectionPoints()
public 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
.StateMachine.getConnectionPoints()
public EList getExtendedStateMachines()
StateMachine
.
The state machines of which this is an extension.
UMLPackage.getStateMachine_ExtendedStateMachine()
public 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
.StateMachine.getExtendedStateMachines()
public 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
.StateMachine.getExtendedStateMachines()
public boolean validateClassifierContext(DiagnosticChain diagnostics, Map context)
public boolean validateContextClassifier(DiagnosticChain diagnostics, Map context)
public boolean validateConnectionPoints(DiagnosticChain diagnostics, Map context)
public boolean validateMethod(DiagnosticChain diagnostics, Map context)
public Namespace LCA(State s1, State s2)
public boolean ancestor(State s1, State s2)
public boolean isRedefinitionContextValid(StateMachine redefined)
|
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 |