3.3.2 Number Declarations

1. A number_declaration declares a named number.
   Syntax
   

2. number_declaration ::=
      defining_identifier_list : constant := static_expression;
   

   Name Resolution Rules
   
3. The static_expression given for a number_declaration is expected to be of any numeric type.
   Legality Rules
   
4. The static_expression given for a number declaration shall be a static expression, as defined by clause See section 4.9 Static Expressions and Static Subtypes.
   Static Semantics
   
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.
   Dynamic Semantics
   
7. The elaboration of a number_declaration has no effect.
   Examples
   
8. Examples of number declarations:

9. Two_Pi        : constant := 2.0*Ada.Numerics.Pi;
   -- a real number, See section A.5 The Numerics Packages
   

10. Max           : constant := 500;     -- an integer number
    Max_Line_Size : constant := Max/6;   -- the integer 83
    Power_16      : constant := 2**16;   -- the integer 65_536
    One, Un, Eins : constant := 1;       -- three different names for 1
    

Go to the first, previous, next, last section, table of contents.