Class Region
A Region is a top-level part of a StateMachine or a composite State, that serves as a container for the Vertices and Transitions of the StateMachine. A StateMachine or composite State may contain multiple Regions representing behaviors that may occur in parallel. <p>From package UML::StateMachines.</p>
[XmlNamespace("http://www.eclipse.org/uml2/5.0.0/UML")]
[XmlNamespacePrefix("uml")]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//Region")]
public class Region : Namespace, IRegion, IRedefinableElement, INamespace, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging- Inheritance
-
Region
- Implements
- Inherited Members
Constructors
Region()
Creates a new instance
public Region()Properties
Children
Gets the child model elements of this model element
public override IEnumerableExpression<IModelElement> Children { get; }Property Value
ClassInstance
Gets the Class model for this type
public static IClass ClassInstance { get; }Property Value
ExtendedRegion
The region of which this region is an extension. <p>From package UML::StateMachines.</p>
[XmlElementName("extendedRegion")]
[XmlAttribute(true)]
public IRegion ExtendedRegion { get; set; }Property Value
IsLeaf
Indicates whether it is possible to further redefine a RedefinableElement. If the value is true, then it is not possible to further redefine the RedefinableElement. <p>From package UML::Classification.</p>
[TypeConverter(typeof(LowercaseBooleanConverter))]
[XmlElementName("isLeaf")]
[XmlAttribute(true)]
public bool IsLeaf { get; set; }Property Value
ReferencedElements
Gets the referenced model elements of this model element
public override IEnumerableExpression<IModelElement> ReferencedElements { get; }Property Value
State
The State that owns the Region. If a Region is owned by a State, then it cannot also be owned by a StateMachine. <p>From package UML::StateMachines.</p>
[Browsable(false)]
[XmlElementName("state")]
[XmlAttribute(true)]
[XmlOpposite("region")]
public IState State { get; set; }Property Value
StateMachine
The StateMachine that owns the Region. If a Region is owned by a StateMachine, then it cannot also be owned by a State. <p>From package UML::StateMachines.</p>
[Browsable(false)]
[XmlElementName("stateMachine")]
[XmlAttribute(true)]
[XmlOpposite("region")]
public IStateMachine StateMachine { get; set; }Property Value
Subvertex
The set of Vertices that are owned by this Region. <p>From package UML::StateMachines.</p>
[Browsable(false)]
[XmlElementName("subvertex")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("container")]
public IOrderedSetExpression<IVertex> Subvertex { get; }Property Value
Transition
The set of Transitions owned by the Region. <p>From package UML::StateMachines.</p>
[Browsable(false)]
[XmlElementName("transition")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("container")]
public IOrderedSetExpression<ITransition> Transition { get; }Property Value
Methods
BelongsToPSM()
The operation belongsToPSM () checks if the Region belongs to a ProtocolStateMachine. result = (if stateMachine <> null then stateMachine.oclIsKindOf(ProtocolStateMachine) else state <> null implies state.container.belongsToPSM() endif ) <p>From package UML::StateMachines.</p>
public bool BelongsToPSM()Returns
ContainingStateMachine()
The operation containingStateMachine() returns the StateMachine in which this Region is defined. result = (if stateMachine = null then state.containingStateMachine() else stateMachine endif) <p>From package UML::StateMachines.</p>
public IStateMachine ContainingStateMachine()Returns
Deep_history_vertex(object, object)
A Region can have at most one deep history Vertex. self.subvertex->select (oclIsKindOf(Pseudostate))->collect(oclAsType(Pseudostate))-> select(kind = PseudostateKind::deepHistory)->size() <= 1
public bool Deep_history_vertex(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
GetAttributeValue(string, int)
Resolves the given attribute name
protected override object GetAttributeValue(string attribute, int index)Parameters
Returns
- object
The attribute value or null if it could not be found
GetClass()
Gets the Class for this model element
public override IClass GetClass()Returns
GetCollectionForFeature(string)
Gets the Model element collection for the given feature
protected override IList GetCollectionForFeature(string feature)Parameters
featurestringThe requested feature
Returns
- IList
A non-generic list of elements
GetCompositionName(object)
Gets the property name for the given container
protected override string GetCompositionName(object container)Parameters
containerobjectThe container object
Returns
- string
The name of the respective container reference
GetExpressionForAttribute(string)
Gets the property expression for the given attribute
protected override INotifyExpression<object> GetExpressionForAttribute(string attribute)Parameters
attributestringThe requested attribute in upper case
Returns
- INotifyExpression<object>
An incremental property expression
GetExpressionForReference(string)
Gets the property expression for the given reference
protected override INotifyExpression<IModelElement> GetExpressionForReference(string reference)Parameters
referencestringThe requested reference in upper case
Returns
- INotifyExpression<IModelElement>
An incremental property expression
GetModelElementForReference(string, int)
Resolves the given URI to a child model element
protected override IModelElement GetModelElementForReference(string reference, int index)Parameters
Returns
- IModelElement
The model element or null if it could not be found
GetRelativePathForNonIdentifiedChild(IModelElement)
Gets the relative URI fragment for the given child model element
protected override string GetRelativePathForNonIdentifiedChild(IModelElement element)Parameters
elementIModelElementThe element that should be looked for
Returns
- string
A fragment of the relative URI
Initial_vertex(object, object)
A Region can have at most one initial Vertex. self.subvertex->select (oclIsKindOf(Pseudostate))->collect(oclAsType(Pseudostate))-> select(kind = PseudostateKind::initial)->size() <= 1
public bool Initial_vertex(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
IsConsistentWith(IRedefinableElement)
The query isConsistentWith() specifies, for any two RedefinableElements in a context in which redefinition is possible, whether redefinition would be logically consistent. By default, this is false; this operation must be overridden for subclasses of RedefinableElement to define the consistency conditions. redefiningElement.isRedefinitionContextValid(self) result = (false) <p>From package UML::Classification.</p>
public bool IsConsistentWith(IRedefinableElement redefiningElement)Parameters
redefiningElementIRedefinableElement
Returns
IsRedefinitionContextValid(IRedefinableElement)
The query isRedefinitionContextValid() specifies whether the redefinition contexts of this RedefinableElement are properly related to the redefinition contexts of the specified RedefinableElement to allow this element to redefine the other. By default at least one of the redefinition contexts of this element must be a specialization of at least one of the redefinition contexts of the specified element. result = (redefinitionContext->exists(c | c.allParents()->includesAll(redefinedElement.redefinitionContext))) <p>From package UML::Classification.</p>
public bool IsRedefinitionContextValid(IRedefinableElement redefinedElement)Parameters
redefinedElementIRedefinableElement
Returns
Non_leaf_redefinition(object, object)
A RedefinableElement can only redefine non-leaf RedefinableElements. redefinedElement->forAll(re | not re.isLeaf)
public bool Non_leaf_redefinition(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Owned(object, object)
If a Region is owned by a StateMachine, then it cannot also be owned by a State and vice versa. (stateMachine <> null implies state = null) and (state <> null implies stateMachine = null)
public bool Owned(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Redefinition_consistent(object, object)
A redefining element must be consistent with each redefined element. redefinedElement->forAll(re | re.isConsistentWith(self))
public bool Redefinition_consistent(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Redefinition_context_valid(object, object)
At least one of the redefinition contexts of the redefining element must be a specialization of at least one of the redefinition contexts for each redefined element. redefinedElement->forAll(re | self.isRedefinitionContextValid(re))
public bool Redefinition_context_valid(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
SetFeature(string, object)
Sets a value to the given feature
protected override void SetFeature(string feature, object value)Parameters
Shallow_history_vertex(object, object)
A Region can have at most one shallow history Vertex. subvertex->select(oclIsKindOf(Pseudostate))->collect(oclAsType(Pseudostate))-> select(kind = PseudostateKind::shallowHistory)->size() <= 1
public bool Shallow_history_vertex(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.