Ada Programming/Attributes/'Safe First

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

Description

[edit | edit source]

Returns lower bound of the safe range.

Yields the lower bound of the safe range (see 3.5.7) of the type T. If the Numerics Annex is not supported, the value of this attribute is implementation defined.

The value of this attribute is of the type universal_real.

Example

[edit | edit source]
SSafe_First return universal_real