12.5.2 Formal Scalar Types
1/2
A formal scalar type is one defined by any
of the formal_type_definitions in this subclause.
The category determined for a formal scalar type is the category of all
discrete, signed integer, modular, floating point, ordinary fixed point,
or decimal types.
Syntax
2
formal_discrete_type_definition ::= (<>)
3
formal_signed_integer_type_definition ::= range <>
4
formal_modular_type_definition ::= mod <>
5
formal_floating_point_definition ::= digits <>
6
formal_ordinary_fixed_point_definition ::= delta <>
7
formal_decimal_fixed_point_definition ::= delta <>
digits <>
Legality Rules
8
The actual type for a formal scalar type shall not
be a nonstandard numeric type.
9
12 The actual type shall be in the class
of types implied by the syntactic category of the formal type definition
(see
12.5, “
Formal
Types”). For example, the actual for a
formal_modular_type_definition
shall be a modular type.
Sponsored by Ada-Europe