Ada Programming/Attributes/'Truncation

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; (Float'Truncation(X) = 1.0); (Float'Truncation(Y) = 1.0); (Float'Truncation(Z) = -1.0); (Float'Truncation(Z) = -2.0);

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


|Truncation