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

- (1)
- A number_declaration declares a named number.

(2) number_declaration ::= defining_identifier_list : constant := static_expression;

- (3)
- The static_expression given for a number_declaration is expected to be of any numeric type.

- (4)
- The static_expression given for a number declaration shall be a static expression, as defined by clause 4.9.

- (5)
- The named number denotes a value of type universal_integer if the type of the static_expression is an integer type. The named number denotes a value of type universal_real if the type of the static_expression is a real type.
- (6)
- The value denoted by the named number is the value of the static_expression, converted to the corresponding universal type.

- (7)
- The elaboration of a number_declaration has no effect.

- (8)
*Examples of number declarations:*

(9) Two_Pi : constant := 2.0*Ada.Numerics.Pi;-- a real number (see A.5)(10) Max : constant := 500;-- an integer numberMax_Line_Size : constant := Max/6-- the integer 83Power_16 : constant := 2**16;-- the integer 65_536One, Un, Eins : constant := 1;-- three different namesfor 1

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

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

Magnus Kempe -- Magnus.Kempe@di.epfl.chCopyright statement

Page last generated: 95-03-12