Software Disclaimer

Class UML 2.4.1::InteractionConstraint

Description:

An interaction constraint is a Boolean expression that guards an operand in a combined fragment.

Direct Superclasses: Constraint

Direct Subclasses:

Class Precedence List: InteractionConstraint, Constraint, PackageableElement, ParameterableElement, NamedElement, Element

Properties:

maxint : ValueSpecification (0 1); -- source InteractionConstraint
minint : ValueSpecification (0 1); -- source InteractionConstraint
constrainedElement : Element (0 *); -- source Constraint
context : Namespace (0 1); -- source Constraint
specification : ValueSpecification (1 1); -- source Constraint
visibility : VisibilityKind (1 1); -- source PackageableElement
owningTemplateParameter : TemplateParameter (0 1); -- source ParameterableElement
templateParameter : TemplateParameter (0 1); -- source ParameterableElement
clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
qualifiedName : String (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element

The Comments owned by this element.
{composite}
Subsets: Element.ownedElement

ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

Signature: minint_non_negative() : Boolean;
Description: If minint is specified, then the expression must evaluate to a non-negative integer.
Expression: true

Signature: minint_maxint() : Boolean;
Description: Minint/maxint can only be present if the InteractionConstraint is associated with the operand of a loop CombinedFragment.
Expression: true

Signature: maxint_positive() : Boolean;
Description: If maxint is specified, then the expression must evaluate to a positive integer.
Expression: true

Signature: maxint_greater_equal_minint() : Boolean;
Description: If maxint is specified, then minint must be specified and the evaluation of maxint must be >= the evaluation of minint
Expression: true

Signature: global_data() : Boolean;
Description: The constraint may contain references to global data or write-once data.
Expression: true

Signature: dynamic_variables() : Boolean;
Description: The dynamic variables that take part in the constraint must be owned by the ConnectableElement corresponding to the covered Lifeline.
Expression: true

Operations:

No additional operations.



Send questions or comments to [email protected].