5.8.4. Constrained Variable List
Prev 5.8. Parameters and Variable Lists Next

5.8.4. Constrained Variable List

[Tip]Description

A constrained variable list is a list of variables where the variables are placeholders for model elements. The possible values of these variables are restricted by containment constraints, to certain locations in the containment hierarchy of the model space.

[Important]Syntax
ConstrainedVariablesOptAST ::= $empty 
                             | ConstrainedVariablesAST 

ConstrainedVariablesAST ::= VariableDefAST ContainmentConstraintOptAST 
                          | ConstrainedVariablesAST COMMA VariableDefAST ContainmentConstraintOptAST
[Note]Semantics

Constrained variable lists are used in a choose rule or in a forall rule, where the list of variables are quantified existentially or universally, respectively. These variables can store only model elements and the containment constraint restricts the possible location of model elements with respect to their location in the containment hierarchy.

Used By:  choose rule, forall rule

See Also:  containment constraint,

Prev Up Next
5.8.3. Actual Parameters Home 6. Tokens in the VTCL Language