|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A representation of the model object 'Region'. A region is an orthogonal part of either a composite state or a state machine. It contains states and transitions.
The following features are supported:
UMLPackage.getRegion()
Field Summary |
Fields inherited from interface org.eclipse.uml2.uml.NamedElement |
SEPARATOR |
Method Summary | |
boolean |
belongsToPSM()
The operation belongsToPSM () checks if the region belongs to a protocol state machine result = if not stateMachine->isEmpty() then oclIsTypeOf(ProtocolStateMachine) else if not state->isEmpty() then state.container.belongsToPSM () else false |
StateMachine |
containingStateMachine()
The operation containingStateMachine() returns the sate machine in which this Region is defined result = if stateMachine->isEmpty() then state.containingStateMachine() else stateMachine endif |
Vertex |
createSubvertex(String name,
EClass eClass)
Creates a new Vertex , with the specified 'Name', and appends it to the 'Subvertex' containment reference list |
Transition |
createTransition(String name)
Creates a new Transition , with the specified 'Name', and appends it to the 'Transition' containment reference list |
Transition |
createTransition(String name,
EClass eClass)
Creates a new Transition , with the specified 'Name', and appends it to the 'Transition' containment reference list |
Region |
getExtendedRegion()
Returns the value of the 'Extended Region' reference |
State |
getState()
Returns the value of the 'State' container reference. |
StateMachine |
getStateMachine()
Returns the value of the 'State Machine' container reference. |
Vertex |
getSubvertex(String name)
Retrieves the first Vertex with the specified 'Name' from the 'Subvertex' containment reference list |
Vertex |
getSubvertex(String name,
boolean ignoreCase,
EClass eClass,
boolean createOnDemand)
Retrieves the first Vertex with the specified 'Name' from the 'Subvertex' containment reference list |
EList |
getSubvertices()
Returns the value of the 'Subvertex' containment reference list. |
Transition |
getTransition(String name)
Retrieves the first Transition with the specified 'Name' from the 'Transition' containment reference list |
Transition |
getTransition(String name,
boolean ignoreCase,
EClass eClass,
boolean createOnDemand)
Retrieves the first Transition with the specified 'Name' from the 'Transition' containment reference list |
EList |
getTransitions()
Returns the value of the 'Transition' containment reference list. |
boolean |
isRedefinitionContextValid(Region redefined)
The query isRedefinitionContextValid() specifies whether the redefinition contexts of a region are properly related to the redefinition contexts of the specified region to allow this element to redefine the other. |
Classifier |
redefinitionContext()
The redefinition context of a region is the nearest containing statemachine result = let sm = containingStateMachine() in if sm.context->isEmpty() or sm.general->notEmpty() then sm else sm.context endif |
void |
setExtendedRegion(Region value)
Sets the value of the ' Extended Region ' reference |
void |
setState(State value)
Sets the value of the ' State ' container reference |
void |
setStateMachine(StateMachine value)
Sets the value of the ' State Machine ' container reference |
boolean |
validateDeepHistoryVertex(DiagnosticChain diagnostics,
Map context)
A region can have at most one deep history vertex self.subvertex->select (v | v.oclIsKindOf(Pseudostate))-> select(p : Pseudostate | p.kind = #deepHistory)->size() <= 1 |
boolean |
validateInitialVertex(DiagnosticChain diagnostics,
Map context)
A region can have at most one initial vertex self.subvertex->select (v | v.oclIsKindOf(Pseudostate))-> select(p : Pseudostate | p.kind = #initial)->size() <= 1 |
boolean |
validateOwned(DiagnosticChain diagnostics,
Map context)
If a Region is owned by a StateMachine, then it cannot also be owned by a State and vice versa. |
boolean |
validateShallowHistoryVertex(DiagnosticChain diagnostics,
Map context)
A region can have at most one shallow history vertex self.subvertex->select(v | v.oclIsKindOf(Pseudostate))-> select(p : Pseudostate | p.kind = #shallowHistory)->size() <= 1 |
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 |
Method Detail |
public EList getSubvertices()
Vertex
.
It is bidirectional and its opposite is 'Container
'.
The set of vertices that are owned by this region.
UMLPackage.getRegion_Subvertex()
,
Vertex.getContainer()
public Vertex createSubvertex(String name, EClass eClass)
Vertex
, with the specified 'Name', and appends it to the 'Subvertex' containment reference list.
name
- The 'Name' for the new Vertex
, or null
.eClass
- The Ecore class of the Vertex
to create.
Vertex
.Region.getSubvertices()
public Vertex getSubvertex(String name)
Vertex
with the specified 'Name' from the 'Subvertex' containment reference list.
name
- The 'Name' of the Vertex
to retrieve, or null
.
Vertex
with the specified 'Name', or null
.Region.getSubvertices()
public Vertex getSubvertex(String name, boolean ignoreCase, EClass eClass, boolean createOnDemand)
Vertex
with the specified 'Name' from the 'Subvertex' containment reference list.
name
- The 'Name' of the Vertex
to retrieve, or null
.ignoreCase
- Whether to ignore case in String
comparisons.eClass
- The Ecore class of the Vertex
to retrieve, or null
.createOnDemand
- Whether to create a Vertex
on demand if not found.
Vertex
with the specified 'Name', or null
.Region.getSubvertices()
public EList getTransitions()
Transition
.
It is bidirectional and its opposite is 'Container
'.
The set of transitions owned by the region. Note that internal transitions are owned by a region, but applies to the source state.
UMLPackage.getRegion_Transition()
,
Transition.getContainer()
public Transition createTransition(String name, EClass eClass)
Transition
, with the specified 'Name', and appends it to the 'Transition' containment reference list.
name
- The 'Name' for the new Transition
, or null
.eClass
- The Ecore class of the Transition
to create.
Transition
.Region.getTransitions()
public Transition createTransition(String name)
Transition
, with the specified 'Name', and appends it to the 'Transition' containment reference list.
name
- The 'Name' for the new Transition
, or null
.
Transition
.Region.getTransitions()
public Transition getTransition(String name)
Transition
with the specified 'Name' from the 'Transition' containment reference list.
name
- The 'Name' of the Transition
to retrieve, or null
.
Transition
with the specified 'Name', or null
.Region.getTransitions()
public Transition getTransition(String name, boolean ignoreCase, EClass eClass, boolean createOnDemand)
Transition
with the specified 'Name' from the 'Transition' containment reference list.
name
- The 'Name' of the Transition
to retrieve, or null
.ignoreCase
- Whether to ignore case in String
comparisons.eClass
- The Ecore class of the Transition
to retrieve, or null
.createOnDemand
- Whether to create a Transition
on demand if not found.
Transition
with the specified 'Name', or null
.Region.getTransitions()
public State getState()
Region
'.
The State that owns the Region. If a Region is owned by a State, then it cannot also be owned by a StateMachine.
Region.setState(State)
,
UMLPackage.getRegion_State()
,
State.getRegions()
public void setState(State value)
State
' container reference.
value
- the new value of the 'State' container reference.Region.getState()
public Region getExtendedRegion()
Region.setExtendedRegion(Region)
,
UMLPackage.getRegion_ExtendedRegion()
public void setExtendedRegion(Region value)
Extended Region
' reference.
value
- the new value of the 'Extended Region' reference.Region.getExtendedRegion()
public StateMachine getStateMachine()
Region
'.
The StateMachine that owns the Region. If a Region is owned by a StateMachine, then it cannot also be owned by a State.
Region.setStateMachine(StateMachine)
,
UMLPackage.getRegion_StateMachine()
,
StateMachine.getRegions()
public void setStateMachine(StateMachine value)
State Machine
' container reference.
value
- the new value of the 'State Machine' container reference.Region.getStateMachine()
public boolean validateInitialVertex(DiagnosticChain diagnostics, Map context)
public boolean validateDeepHistoryVertex(DiagnosticChain diagnostics, Map context)
public boolean validateShallowHistoryVertex(DiagnosticChain diagnostics, Map context)
public boolean validateOwned(DiagnosticChain diagnostics, Map context)
public Classifier redefinitionContext()
public boolean isRedefinitionContextValid(Region redefined)
public StateMachine containingStateMachine()
public boolean belongsToPSM()
|
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 |