Справочник по Ada 95
12.5.2 Формальные скалярные типы
Формальный скалярный тип определяется любым из formal_type_definition в этом подпункте. Класс, определяемый для формального скалярного типа, является дискретным, целым со знаком, модульным, с плавающей точкой, обычным с фиксированной точкой или десятичным.
Синтаксис
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 должен быть модульным типом.
