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


3.11 Ternary Operators

Ternary 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.

See Operator Character Set.

Operator definitions are introduced through the struct x1f4_operator_type record.

See struct x1f4_operator_type.

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

Implicit type conversion are not performed for ternary operator arguments. If it is desirable that a logic operator is defined for more data type triples an operator must be defined for each of the intended data types triple.

See Implicit Conversions.