Справочник по Ada 95
3.5.8 Операции с типами с плавающей точкой
Статическая семантика
Следующее атрибут определен для каждого подтипа с плавающей точкой S:
- S'Digits
- S'Digits обозначает требуемую десятичную точность для подтипа S. Значение этого атрибута является типа universal_integer. Требуемая десятичная точность базового подтипа типа с плавающей точкой T определяется как наибольшее значение d, для которого
ceiling(d * log(10) / log(T'Machine_Radix)) + g <= T'Model_Mantissa
где g равно 0, если Machine_Radix является положительной степенью 10, и 1 в противном случае.
ПРИМЕЧАНИЯ
34 Предопределенные операции типа с плавающей точкой включают операцию присваивания, квалификацию, проверки на принадлежность, и явное преобразование в другие числовые типы. Они также включают реляционные операторы и следующие предопределенные арифметические операторы: бинарные и унарные операторы сложения - и +, определенные операторы умножения, унарный оператор abs и оператор возведения в степень.
35 Как и для всех типов, объекты типа с плавающей точкой имеют атрибуты Size и Address (см. 13.3). Другие атрибуты типов с плавающей точкой определены в A.5.3.
