Ada Programming/Attributes/'Truncation

Attributes 'Truncation __TOC__ Description X'Truncation(Y) is an Ada attribute where X is any floating-point type and Y is any instance of that type. This attribute represents the truncation of Y to an integer value. If Y is negative, then Truncation is equivalent to X'Ceiling(Y). If Y is positive, then Truncation is equivalent to X'Floor(Y). Example X : Float := 1.5; Y : Float := 1.0; Z : Float := -1.999; Assert (Float'Truncation(X) = 1.0); Ok Assert (Float'Truncation(Y) = 1.0); Ok Assert (Float'Truncation(Z) = -1.0); Ok Assert (Float'Truncation(Z) = -2.0); Wrong See also Wikibook Ada Programming Ada Programming/Attributes Ada Programming/Attributes/'Ceiling Ada Programming/Attributes/'Floor Ada Programming/Attributes/'Rounding Ada Programming/Attributes/'Remainder Ada Programming/Attributes/'Unbiased_Rounding Ada Reference Manual 13 3 Operational and Representation Attributes K Language-Defined Attributes Truncation