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

- (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.

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