Ada Programming/Attributes/'Signed Zeros
Description
editTrue if positive and negative signed zeros are representable.
Yields the value True if the hardware representation for the type T has the capability of representing both positively and negatively signed zeros, these being generated and used by the predefined operations of the type T as specified in IEC 559:1989; yields the value False otherwise. The value of this attribute is of the predefined type Boolean.
Example
editS’Signed_Zeros return Boolean