Справочник по Ada 2005
F.2 Пакет Decimal
Статическая семантика
Библиотечный пакет Decimal имеет следующее объявление:
package Ada.Decimal is
pragma Pure(Decimal);
pragma Pure(Decimal);
Max_Scale : constant := определяемое реализацией;
Min_Scale : constant := определяемое реализацией;
Min_Scale : constant := определяемое реализацией;
Min_Delta : constant := 10.0**(-Max_Scale);
Max_Delta : constant := 10.0**(-Min_Scale);
Max_Delta : constant := 10.0**(-Min_Scale);
Max_Decimal_Digits : constant := определяемое реализацией;
generic
type Dividend_Type is delta <> digits <>;
type Divisor_Type is delta <> digits <>;
type Quotient_Type is delta <> digits <>;
type Remainder_Type is delta <> digits <>;
procedure Divide (Dividend : in Dividend_Type;
Divisor : in Divisor_Type;
Quotient : out Quotient_Type;
Remainder : out Remainder_Type);
pragma Convention(Intrinsic, Divide);
type Dividend_Type is delta <> digits <>;
type Divisor_Type is delta <> digits <>;
type Quotient_Type is delta <> digits <>;
type Remainder_Type is delta <> digits <>;
procedure Divide (Dividend : in Dividend_Type;
Divisor : in Divisor_Type;
Quotient : out Quotient_Type;
Remainder : out Remainder_Type);
pragma Convention(Intrinsic, Divide);
end Ada.Decimal;
Max_Scale — наибольшее значение N, при котором 10.0**(–N) допустимо в качестве дельта типа десятичного числа. Его тип — universal_integer.
Min_Scale — наименьшее значение N, при котором 10.0**(–N) допустимо в качестве дельта типа десятичного числа. Его тип — universal_integer.
Min_Delta — наименьшее значение, допустимое для delta в определении decimal_fixed_point_definition. Его тип — universal_real.
Max_Delta — наибольшее значение, допустимое для delta в определении decimal_fixed_point_definition. Его тип — universal_real.
Max_Decimal_Digits — наибольшее значение, допустимое для digits в определении decimal_fixed_point_definition. Его тип — universal_integer.
Статическая семантика
Действие Divide следующее. Значение Quotient равно Quotient_Type(Dividend/Divisor). Значение Remainder равно Remainder_Type(Intermediate), где Intermediate — разность между Dividend и произведением Divisor и Quotient; этот результат вычисляется точно.
Требования к реализации
Decimal.Max_Decimal_Digits должен быть не меньше 18.
Decimal.Max_Scale должен быть не меньше 18.
Decimal.Min_Scale должен быть не больше 0.
ПРИМЕЧАНИЯ
1 Эффект деления, приводящий к частному с управлением округлением по сравнению с усечением, достигается применением атрибута функции Quotient_Type'Round или преобразования Quotient_Type к выражению Dividend/Divisor.
