Next: , Previous: Procedures, Up: Top

5 Overloaded Operator Indications

An operator indication is said to be overloaded if it could denote any one of several operations. For example, the operator indication represented by + might denote either the integer addition operator or the floating point addition operator; the operator indication represented by the procedure identifier sqrt might denote either an integer or a floating point square root operation. The actual operator denoted in a given context is determined by the types of the operands and the required result type.

The type analysis modules discussed in this document all support overloading: Any number of operators can be associated with the same indication.