Справочное руководство по языку Ада-83


Имена - часть 7


4.1.4. АТРИБУТЫ

Атрибут обозначает базовую операцию над понятием, задаваемым префиксом.

атрибут ::= префикс'обозначение-атрибута обозначение-атрибута :: = простое-имя [(универсальное_статическое_выражение)]

Применимые обозначения атрибутов зависят от конкретного префикса. Атрибут может быть базовой операцией, вырабатывающей значение, но может быть и функцией, типом или диапазоном. Смысл префикса атрибута должен быть определим независимо от обозначения атрибута и независимо от того, что это есть префикс именно атрибута.

Определенные в языке атрибуты приведены в приложении А. Конкретная реализация может ввести дополнительные атрибуты, описание которых должно быть дано в приложении F. Обозначения таких атрибутов должны отличаться от обозначений атрибутов, определенных в языке.

Вычисление имени, являющегося атрибутом, состоит из вычисления префикса.

Примечание.

Обозначения атрибутов DIGITS, DELTA и RANGE им&ют идентификаторы, совпадающие с зарезервированными словами. Однако неоднозначность устранится, если перед обозначением атрибута будет стоять апостроф. Единственными предопределенными обозначениями атрибутов, содержащими универсальное выражение, являются те, которые соответствуют некоторым определенным операциям типа над индексируемыми типами (см. 3.6.2).

Примеры атрибутов:

COLOR'FIRST -- минимальное значение перечислимого типа -- COLOR (см. 3.3.1 и 3.5) RAINBOW'BASE'FIRST -- то же, что и атрибут COLOR'FIRST (см. 3.3.2 и 3.3.3) REAL'DIGITS -- точность типа REAL (см. 3.5.7 и 3.5.8) BOARD'LAST(2) -- верхняя граница диапазона 2-го индекса -- для BOARD (см. 3.6.1 и 3.6.2) BOARD'RANGE(1) -- диапазон первого индекса для BOARD (см. 3.6.1 и 3.6.2) POOL(K).TERMINATED -- TRUE, если задача РООL(К) завершена (см. 9.2 и 9.9) DATA'SIZE -- количество битов под записи типа DATA (см. 3.7 и 13.7.2) MESSAGE'ADDRESS -- адрес переменной MESSAGE именуемого типа (см. 3.7.2 и 13.7.2)

Ссылки:

базовая операция 3.3.3, зарезервированное слово 2.9, имя 4.1, описанное понятие 3.1, префикс 4.1, простое имя 4.1, соответствует типу 4.1, статическое выражение 4.9, тип 3.3, универсальное выражение 4.10.

Пред. 

Уровень выше  След.

3.9. РАЗДЕЛЫ ОПИСАНИЙ

 

Начало  

4.2. ЛИТЕРАЛЫ




Начало  Назад  Вперед



Книжный магазин