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


A.5.4 Attributes of Fixed Point Types

Static Semantics

  1. The following representation-oriented attributes are defined for every subtype S of a fixed point type T.
  2. S'Machine_Radix
    Yields the radix of the hardware representation of the type
    T. The value of this attribute is of the type
    universal_integer.
    
  3. S'Machine_Rounds
    Yields the value True if rounding is performed on inexact
    results of every predefined operation that yields a result of
    the type T; yields the value False otherwise. The value of
    this attribute is of the predefined type Boolean.
    
  4. S'Machine_Overflows
    Yields the value True if overflow and divide-by-zero are
    detected and reported by raising Constraint_Error for every
    predefined operation that yields a result of the type T;
    yields the value False otherwise. The value of this
    attribute is of the predefined type Boolean.
    


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