Table of Contents

Interface IProtocolTransition

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

The public interface for ProtocolTransition

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

Properties

PostCondition

Specifies the post condition of the Transition which is the Condition that should be obtained once the Transition is triggered. This post condition is part of the post condition of the Operation connected to the Transition. <p>From package UML::StateMachines.</p>

[Browsable(false)]
[XmlElementName("postCondition")]
[XmlAttribute(false)]
[Containment]
IConstraint PostCondition { get; set; }

Property Value

IConstraint

PreCondition

Specifies the precondition of the Transition. It specifies the Condition that should be verified before triggering the Transition. This guard condition added to the source State will be evaluated as part of the precondition of the Operation referred by the Transition if any. <p>From package UML::StateMachines.</p>

[Browsable(false)]
[XmlElementName("preCondition")]
[XmlAttribute(false)]
[Containment]
IConstraint PreCondition { get; set; }

Property Value

IConstraint

Methods

Associated_actions(object, object)

A ProtocolTransition never has associated Behaviors. effect = null

bool Associated_actions(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

Belongs_to_psm(object, object)

A ProtocolTransition always belongs to a ProtocolStateMachine. container.belongsToPSM()

bool Belongs_to_psm(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

GetReferreds()

Derivation for ProtocolTransition::/referred result = (trigger->collect(event)->select(oclIsKindOf(CallEvent))->collect(oclAsType(CallEvent).operation)->asSet()) <p>From package UML::StateMachines.</p>

ISetExpression<IOperation> GetReferreds()

Returns

ISetExpression<IOperation>

Refers_to_operation(object, object)

If a ProtocolTransition refers to an Operation (i.e., has a CallEvent trigger corresponding to an Operation), then that Operation should apply to the context Classifier of the StateMachine of the ProtocolTransition. if (referred()->notEmpty() and containingStateMachine().'context'->notEmpty()) then containingStateMachine().'context'.oclAsType(BehavioredClassifier).allFeatures()->includesAll(referred()) else true endif

bool Refers_to_operation(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