Table of Contents

Interface IRegion

Namespace
NMF.Interop.Uml
Assembly
NMF.UMLInterop.dll

The public interface for Region

[DefaultImplementationType(typeof(Region))]
[XmlDefaultImplementationType(typeof(Region))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//Region")]
public interface IRegion : IRedefinableElement, INamespace, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
Inherited Members

Properties

ExtendedRegion

The region of which this region is an extension. <p>From package UML::StateMachines.</p>

[XmlElementName("extendedRegion")]
[XmlAttribute(true)]
IRegion ExtendedRegion { get; set; }

Property Value

IRegion

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")]
IState State { get; set; }

Property Value

IState

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")]
IStateMachine StateMachine { get; set; }

Property Value

IStateMachine

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")]
IOrderedSetExpression<IVertex> Subvertex { get; }

Property Value

IOrderedSetExpression<IVertex>

Transition

The set of Transitions owned by the Region. <p>From package UML::StateMachines.</p>

[Browsable(false)]
[XmlElementName("transition")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("container")]
IOrderedSetExpression<ITransition> Transition { get; }

Property Value

IOrderedSetExpression<ITransition>

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>

bool BelongsToPSM()

Returns

bool

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>

IStateMachine ContainingStateMachine()

Returns

IStateMachine

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

bool Deep_history_vertex(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

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

bool Initial_vertex(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

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)

bool Owned(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool

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

bool Shallow_history_vertex(object diagnostics, object context)

Parameters

diagnostics object

The chain of diagnostics to which problems are to be appended.

context object

The cache of context-specific information.

Returns

bool
Edit this page