Contents   Index   Search   Previous   Next


A.5.4 Attributes of Fixed Point Types

Static Semantics

1
   {representation-oriented attributes (of a fixed point subtype)} 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.

Incompatibilities With Ada 83

4.a
{incompatibilities with Ada 83} The Mantissa, Large, Safe_Small, and Safe_Large attributes of fixed point types are removed from the language.
4.b
Implementations are encouraged to eliminate the resulting incompatibility by retaining these attributes, during a transition period, in the form of implementation-defined attributes with their former values.

Extensions to Ada 83

4.c
{extensions to Ada 83} The Machine_Radix attribute is now allowed for fixed point types. It is also specifiable in an attribute definition clause (see F.1).

Contents   Index   Search   Previous   Next   Legal