| | | |
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

12.5.2 Formal Scalar Types

(1)

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

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

| | | |
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

-- Email comments, additions, corrections, gripes, kudos, etc. to: