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


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


дискретом,

определенному следующим образом:

знак*мантисса*дискрет

Для модельных чисел фиксированного типа

дискрет

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

Дискрет

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

Для ограничения фиксированного типа с ограничением диапазона модельные числа включают нуль и все числа, кратные

дискрету, мантисса

которых может быть выражена точно В двоичными цифрами, а значение В выбрано как наименьшее целое число, для которого каждая граница заданного диапазона — либо модельное число, либо отличается не более чем на

дискрет

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

Реализация должна иметь по крайней мере один анонимный предопределенный фиксированный тип. Базовый тип каждого такого фиксированного типа — это сам этот тип. Модельные числа каждого предопределенного фиксированного типа включают нуль и все числа, для которых

мантисса

(в канонической форме) имеет число двоичных цифр, вырабатываемое атрибутом MANTISSA, и для которых

дискрет

имеет значение, возвращаемое атрибутом SMALL

Описание фиксированного типа в форме

type T is delta D range L .. R

по определению эквивалентно следующим описаниям:

type

фиксированный-тип

is new

предопределенный - фиксированный - тип;

subtype T is

фиксированный-тип

delta D range

фиксированный-тип

(L) ..

фиксированный-тип

(R);

В этих описаниях

фиксированный-тип —




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



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