Справочник Ada 2005
12.5.2 Формальные скалярные типы
Формальный скалярный тип определяется любым из определений формального типа в этом подразделе. Категория, определяемая для формального скалярного типа, — это категория всех дискретных, знаковых целых, модульных, чисел с плавающей точкой, обычных чисел с фиксированной точкой или десятичных типов.
Синтаксис
formal_discrete_type_definition ::= (<>)
formal_signed_integer_type_definition ::= range <>
formal_modular_type_definition ::= mod <>
formal_floating_point_definition ::= digits <>
formal_ordinary_fixed_point_definition ::= delta <>
formal_decimal_fixed_point_definition ::= delta <> digits <>
Правила допустимости
Фактический тип для формального скалярного типа не должен быть нестандартным числовым типом.
ПРИМЕЧАНИЯ
12 Фактический тип должен принадлежать классу типов, подразумеваемому синтаксической категорией определения формального типа (см. 12.5, «Формальные типы»). Например, фактический тип для formal_modular_type_definition должен быть модульным типом.
