Next: , Previous: , Up: Expression Evaluator   [Index]


3.7 Prefix Unary Operators

Prefix unary operators may be of either an intrinsic type (though not void), either an application defined opaque type. The operator type is the type to which the operator evaluates.

See Intrinsic Types.

See Application Defined Types.

The characters making up the prefix unary operator names must belong to the !, #, $, %, &, *, +, -, /, :, <, =, >, ?, @, [, ], ^, |, ~ set.

Operator definitions are introduced through the struct x1f4_operator_type record.

See struct x1f4_operator_type.

Prefix unary operators are overloadable, i.e. there may exist more prefix unary operators with the same name, but not with the same name and argument types list.

Implicit type conversion are not performed for prefix unary operator arguments. If it is desired that a logic operator is defined for more data types an operator must be defined for each of the intended data types (if the ‘-’ is to be available for the intrinsic cardinal, integer and real scalar types, an explicit definition needs to be introduced for the ‘-’ operator for each of the three data types).

See Implicit Conversions.