Справочник по Ada 95
3.2.3 Классификация операций
Статическая семантика
Операция работает с типом T, если она возвращает значение типа T, если у неё есть операнд, ожидаемый тип которого (см. 8.6) равен T, или если у неё есть параметр доступа (см. 6.1), обозначающий T. Предопределённый оператор или другая определяемая языком операция, такая как присваивание или проверка на принадлежность, которая работает с типом, называется предопределённой операцией типа. Примитивные операции типа — это предопределённые операции типа, плюс любые определяемые пользователем примитивные подпрограммы.
Примитивные подпрограммы конкретного типа определяются следующим образом:
- Предопределённые операторы типа (см. 4.5);
- Для производного типа, унаследованные (см. 3.4) определяемые пользователем подпрограммы;
- Для типа перечисления, литералы перечисления (которые считаются безаргументными функциями — см. 3.5.1);
- Для конкретного типа, объявленного непосредственно в package_specification, любые подпрограммы (кроме литералов перечисления), явно объявленные непосредственно в той же package_specification и работающие с типом;
- Любые подпрограммы, не охваченные выше, которые явно объявлены непосредственно в той же области объявления, что и тип, и которые переопределяют (см. 8.3) другие неявно объявленные примитивные подпрограммы типа.
Примитивная подпрограмма, у которой указатель — operator_symbol, называется примитивным оператором.
