Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
 
Annotated Ada Reference Manual (Ada 202x Draft 12)Legal Information
Contents   Index   References   Search   Previous   Next 

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. 

Incompatibilities With Ada 83

4.a
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
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   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe