Ada Programming/Attributes/'Safe Last

Description

edit

Returns upper bound of the safe range.

Yields the upper 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
SSafe_Last return universal_real