Ada Programming/Attributes/'Machine Rounds

Description

True if rounding is performed on inexact results of the fixed or floating point.

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.

Example

S’Machine_Rounds return Boolean