Next: Safe_Large, Previous: Range_Length, Up: Implementation Defined Attributes
The Safe_Emax attribute is provided for compatibility with Ada 83. See the Ada 83 reference manual for an exact description of the semantics of this attribute.
Safe_Emax