Class UML 2.3::InteractionConstraint
Description:
An interaction constraint is a Boolean expression that guards an operand
in a combined fragment.
Direct Superclasses: ConstraintDirect Subclasses: Class Precedence List: InteractionConstraint,
Constraint,
PackageableElement,
ParameterableElement,
NamedElement,
ElementProperties:
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 ownedElement :
Element (0 *); -- source
Element owner :
Element (0 1); -- source
ElementConstraints:
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].