Справочник по Ada 95
A.5.4 Атрибуты типов с фиксированной точкой
Статическая семантика
Для каждого подтипа S типа с фиксированной точкой T определены следующие ориентированные на представление атрибуты.
- S'Machine_Radix
- Возвращает основание аппаратного представления типа T. Значение этого атрибута имеет тип universal_integer.
- S'Machine_Rounds
- Возвращает значение True, если округление выполняется для неточных результатов каждой предопределенной операции, возвращающей результат типа T; в противном случае возвращает значение False. Значение этого атрибута имеет предопределенный тип Boolean.
- S'Machine_Overflows
- Возвращает значение True, если переполнение и деление на ноль обнаруживаются и сообщаются путём поднятия исключения Constraint_Error для каждой предопределенной операции, возвращающей результат типа T; в противном случае возвращает значение False. Значение этого атрибута имеет предопределенный тип Boolean.
