Справочник по Ada 2012
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 должен быть модульным типом.
