[next] [prev] [prev-tail] [tail] [up]

## Chapter 12
Expressions

Expressions occur in assignments or in tests. Expressions produce a value of a certain type. Expressions are built with two components: operators and their operands. Usually an operator is binary, i.e. it requires 2 operands. Binary operators occur always between the operands (as in X/Y). Sometimes an operator is unary, i.e. it requires only one argument. A unary operator occurs always before the operand, as in -X.

When using multiple operands in an expression, the precedence rules of table (12.1) are used.

Table 12.1: Precedence of operators

Operator | Precedence | Category
Not, @ | Highest (first) | Unary operators
* / div mod and shl shr as << >> | Second | Multiplying operators
+ - or xor | Third | Adding operators
= <> < > <= >= in is | Lowest (Last) | relational operators

When determining the precedence, the compiler uses the following rules:

1. In operations with unequal precedences the operands belong to the operator with the highest precedence. For example, in 5*3+7, the multiplication is higher in precedence than the addition, so it is executed first. The result would be 22.
2. If parentheses are used in an expression, their contents is evaluated first. Thus, 5*(3+7) would result in 50.

Remark: The order in which expressions of the same precedence are evaluated is not guaranteed to be left-to-right. In general, no assumptions on which expression is evaluated first should be made in such a case. The compiler will decide which expression to evaluate first based on optimization rules. Thus, in the following expression:

a := g(3) + f(2);

f(2) may be executed before g(3). This behaviour is distinctly different from Delphi or Turbo Pascal.

If one expression must be executed before the other, it is necessary to split up the statement using temporary results:

e1 := g(3);
a := e1 + f(2);

Remark: The exponentiation operator (**) is available for overloading, but is not defined on any of the standard Pascal types (floats and/or integers).

12.1 Expression syntax
12.2 Function calls
12.3 Set constructors
12.4 Value typecasts
12.5 Variable typecasts
12.6 Unaligned typecasts
12.7 The @ operator
12.8 Operators
12.8.1 Arithmetic operators
12.8.2 Logical operators
12.8.3 Boolean operators
12.8.4 String operators
12.8.5 Set operators
12.8.6 Relational operators
12.8.7 Class operators

[next] [prev] [prev-tail] [front] [up]