12.5.2 Formal Scalar Types
From OC Systems Wiki!
A formal scalar type is one defined by any of the formal_type_definitions in this subclause. The class determined for a formal scalar type is discrete, signed integer, modular, floating point, ordinary fixed point, or decimal.
Syntax
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 <>
Legality Rules
The actual type for a formal scalar type shall not be a nonstandard numeric type.
Notes
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.
Copyright © 1992,1993,1994,1995 Intermetrics, Inc.
Copyright © 2000 The MITRE Corporation, Inc.
Ada Reference Manual