Next: , Previous: 12.5.1, Up: 12.5


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.

     NOTES

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, "12.5 Formal Types"). For example, the actual for a formal_modular_type_definition shall be a modular type.