Ada Programming/Attributes/'Machine Rounds

Description

edit

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

edit
SMachine_Rounds return Boolean