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


Статические выражения и статические подтипы - часть 2


Статическое ограничение дискриминанта — это ограничение дискриминанта, для которого статическим является подтип каждого дискриминанта и в котором статическим является каждое выражение.

Примечание.

Точность вычисления статического выражения вещественного типа определена правилами, данными в разд. 4.5.7. Если результат не является модельным (или хранимым) числом этого типа, то значение выражения, полученное при вычислении во время компиляции, не обязано совпадать со значением, которое получится при вычислении во время счета.

Атрибуты массивов не являются статическими, в частности статическим не является атрибут RANGE.

Ссылки:

атрибут 4.1.4, базовый тип 3.3, возбуждение исключений 11, выражение 4.4, граница диапазона 3.5, дискретный диапазон 3.6, дискретный тип 3.5, именованное число 3.2, инициализация 3.2.1, исключение 11, квалифицированное выражение 4.7, константа 3.2.1, литерал перечисления 3.5.1, модельное число 3.5.6, неявное описание 3.1, обозначение типа 3.3.2, ограничение диапазона 3.5, описание константы 3.2.1, подтип 3.3, предопределенная операция 4.5, символьный литерал 2.5, скалярный тип 3.5, фактический параметр 6.4.1, фактический параметр настройки 12.3, формальный параметр настройки 12.1.2, функция 6.5, хранимое число 3.5.6, числовой литерал 2.4.

Пред. 

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

4.8. ГЕНЕРАТОРЫ

 

Начало  

4.10. УНИВЕРСАЛЬНЫЕ ВЫРАЖЕНИЯ




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



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