Contents   Index   Search   Previous   Next


3.2.3 Classification of Operations

Static Semantics

1
   An operation operates on a type T if it yields a value of type T, if it has an operand whose expected type (see 8.6) is T, or if it has an access parameter (see 6.1) designating T. A predefined operator, or other language-defined operation such as assignment or a membership test, that operates on a type, is called a predefined operation of the type. The primitive operations of a type are the predefined operations of the type, plus any user-defined primitive subprograms.
2
   The primitive subprograms of a specific type are defined as follows:
3
4
5
6
7
8
   A primitive subprogram whose designator is an operator_symbol is called a primitive operator.

Contents   Index   Search   Previous   Next   Legal