Ada Resource Association
News and resources for the Ada programming language
Ada Reference ManualLegal Information
Contents   Index   References   Search   Previous   Next 

3.2.3 Classification of Operations

Static Semantics

1/2
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 or access result type (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/2
8
A primitive subprogram whose designator is an operator_symbol is called a primitive operator.

Contents   Index   References   Search   Previous   Next 
Ada-Europe Sponsored by Ada-Europe