Справочник по Ada 2012

3.3.2 Объявления чисел

Объявление number_declaration объявляет именованное число.

Синтаксис

number_declaration ::=
defining_identifier_list : constant := static_expression;

Правила разрешения имен

static_expression, заданный для number_declaration, ожидается любого числового типа.

Правила допустимости

static_expression, заданный для объявления числа, должен быть статическим выражением, как определено в подразделе 4.9.

Статические семантические правила

Именованное число обозначает значение типа universal_integer, если тип static_expression — целочисленный тип. Именованное число обозначает значение типа universal_real, если тип static_expression — вещественный тип.

Значение, обозначаемое именованным числом, — это значение static_expression, преобразованное к соответствующему универсальному типу.

Динамические семантические правила

Выполнение number_declaration не оказывает никакого влияния.

Примеры

Примеры объявлений чисел:

Two_Pi : constant := 2.0*Ada.Numerics.Pi; -- вещественное число (см. A.5)

Max : constant := 500; -- целое число
Max_Line_Size : constant := Max/6; -- целое число 83
Power_16 : constant := 2**16; -- целое число 65_536
One, Un, Eins : constant := 1; -- три разных имени для 1