VDM-10 Language Manual

Appendix C. Operator Precedence
precedence level connective
1
2 =>
3 or
4 and
5 not
C.6 The Family of Constructors
This family includes all the operators used to construct a value. Their priority is given either by
brackets, which are an implicit part of the operator, or by the syntax.
C.7 Grouping
The grouping of operands of the binary operators are as follows:
Combinators: Right grouping.
Applicators:
Left grouping.
Connectives: The ‘=>’ operator has right grouping. The other operators are associative and
therefore right and left grouping are equivalent.
Evaluators: Left grouping 1 .
Relations:
No grouping, as it has no meaning.
Constructors: No grouping, as it has no meaning.
C.8 The Type Operators
Type operators have their own separate precedence ordering, as follows:
1. Function types: ->, +> (right grouping).
2. Union type: | (left grouping).
3. Other binary type operators: * (no grouping).
4. Map types: map . . . to . . . and inmap . . . to . . . (right grouping).
5. Unary type operators: seq of, seq1 of, set of.
1 Except the “map domain restrict to” and the “map domain restrict by” operators which have a right grouping. This is
not standard.
209