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


Скалярные типы - часть 15


Если некоторое число цифр определено описанием типа или подтипа Т, то атрибут DIGITS вырабатывает это число.

Ссылки:

арифметическая операция 3.5.5, 4.5, атрибут 4.1.4, базовая операция 3.3.3, базовый тип 3.3, бинарная аддитивная операция 4.5, 4.5.3, границы диапазона 3.5, квалифицированное выражение 4.7, модельное число 3.5.6, мультипликативная операция 4.5, 4.5.5, объект 3.2, ограничение 3.3, операция 3.3, операция возведения в степень 4.5, 4.5.6, операция отношения 4.5, 4.5.2, плавающий тип 3.5.7, подтип 3.3, предопределенная операция 4.5, преобразование 4.6, присваивание 5.2, проверка принадлежности 4.5, 4.5.2, тип 3.3, тип универсальный вещественный 3.5.6, тип универсальный целый 3.5.4, унарная аддитивная операция 4.5, 4.5.4, универсальный тип 4.10, хранимое число 3.5.6, цифра 2.1, числовой тип 3.5.

3.5.9. ФИКСИРОВАННЫЕ ТИПЫ

Для фиксированных типов граница ошибки определяется абсолютной погрешностью, называемой

дельтой

фиксированного типа.

ограничение-фиксированного-типа :: =

определение - точности - фиксированного - типа [ограничение - диапазона]

определение - точности - фиксированного - типа:: =

delta

статическое-

простое - выражение

Дельта определяется значением статического простого выражения в определении точности фиксированного типа. Это значение должно принадлежать некоторому вещественному типу и быть положительным (ненулевым). Если ограничение для фиксированного типа использовано как опеределение вещественного типа, то оно должно включать ограничение диапазона;

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

для фиксированного типа использовано в указании подтипа, то ограничение диапазона необязательно.

Для любого ненулевого модельного числа фиксированного типа определена каноническая форма. В этой форме: знак — это либо +1, либо -1;

мантисса —

положительное (ненулевое) целое; любое модельное число кратно некоторому положительному вещественному числу, называемому




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



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