Table of Contents

Interface IInteractionConstraint

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

The public interface for InteractionConstraint

[DefaultImplementationType(typeof(InteractionConstraint))]
[XmlDefaultImplementationType(typeof(InteractionConstraint))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//InteractionConstraint")]
public interface IInteractionConstraint : IConstraint, IPackageableElement, IParameterableElement, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging
Inherited Members

Properties

Maxint

The maximum number of iterations of a loop <p>From package UML::Interactions.</p>

[Browsable(false)]
[XmlElementName("maxint")]
[XmlAttribute(false)]
[Containment]
IValueSpecification Maxint { get; set; }

Property Value

IValueSpecification

Minint

The minimum number of iterations of a loop <p>From package UML::Interactions.</p>

[Browsable(false)]
[XmlElementName("minint")]
[XmlAttribute(false)]
[Containment]
IValueSpecification Minint { get; set; }

Property Value

IValueSpecification

Methods

Dynamic_variables(object, object)

The dynamic variables that take part in the constraint must be owned by the ConnectableElement corresponding to the covered Lifeline.

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

Global_data(object, object)

The constraint may contain references to global data or write-once data.

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

Maxint_greater_equal_minint(object, object)

If maxint is specified, then minint must be specified and the evaluation of maxint must be >= the evaluation of minint. maxint->notEmpty() implies (minint->notEmpty() and maxint->asSequence()->first().integerValue() >= minint->asSequence()->first().integerValue() )

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

Maxint_positive(object, object)

If maxint is specified, then the expression must evaluate to a positive integer. maxint->notEmpty() implies maxint->asSequence()->first().integerValue() > 0

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

Minint_maxint(object, object)

Minint/maxint can only be present if the InteractionConstraint is associated with the operand of a loop CombinedFragment. maxint->notEmpty() or minint->notEmpty() implies interactionOperand.combinedFragment.interactionOperator = InteractionOperatorKind::loop

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

Minint_non_negative(object, object)

If minint is specified, then the expression must evaluate to a non-negative integer. minint->notEmpty() implies minint->asSequence()->first().integerValue() >= 0

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