Ada Programming/Attributes/'Machine Rounds

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Description

[edit | edit source]

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 | edit source]
SMachine_Rounds return Boolean