Ada Programming/Attributes/'Signed Zeros

Description

True 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

S’Signed_Zeros return Boolean