Table of Contents

Interface IProtocolStateMachine

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

The public interface for ProtocolStateMachine

[DefaultImplementationType(typeof(ProtocolStateMachine))]
[XmlDefaultImplementationType(typeof(ProtocolStateMachine))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//ProtocolStateMachine")]
public interface IProtocolStateMachine : IStateMachine, IBehavior, IClass, IBehavioredClassifier, IEncapsulatedClassifier, IStructuredClassifier, IClassifier, ITemplateableElement, IType, IPackageableElement, IParameterableElement, IRedefinableElement, INamespace, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
Inherited Members

Properties

Conformance

Conformance between ProtocolStateMachine <p>From package UML::StateMachines.</p>

[Browsable(false)]
[XmlElementName("conformance")]
[XmlAttribute(false)]
[Containment]
[XmlOpposite("specificMachine")]
IOrderedSetExpression<IProtocolConformance> Conformance { get; }

Property Value

IOrderedSetExpression<IProtocolConformance>

Methods

Deep_or_shallow_history(object, object)

ProtocolStateMachines cannot have deep or shallow history Pseudostates. region->forAll (r | r.subvertex->forAll (v | v.oclIsKindOf(Pseudostate) implies ((v.oclAsType(Pseudostate).kind <> PseudostateKind::deepHistory) and (v.oclAsType(Pseudostate).kind <> PseudostateKind::shallowHistory))))

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

Entry_exit_do(object, object)

The states of a ProtocolStateMachine cannot have entry, exit, or do activity Behaviors. region->forAll(r | r.subvertex->forAll(v | v.oclIsKindOf(State) implies (v.oclAsType(State).entry->isEmpty() and v.oclAsType(State).exit->isEmpty() and v.oclAsType(State).doActivity->isEmpty())))

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

Protocol_transitions(object, object)

All Transitions of a ProtocolStateMachine must be ProtocolTransitions. region->forAll(r | r.transition->forAll(t | t.oclIsTypeOf(ProtocolTransition)))

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