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

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