411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Ceiling
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Attributes 'Ceiling
__TOC__
Description
X'Ceiling(Y) is an Ada attribute where X is any floating-point type and Y is any instance of that type. This attribute represents the smallest integer value that is greater than or equal to Y.
Example
X : Float := 1.5;
Y : Float := 1.0;
Z : Float := 1.999;
...
Assert (Float'Ceiling(X) = 2.0 ); OK
Assert (Float'Ceiling(Y) = 1.0 ); OK
Assert (Float'Ceiling(Z) = 1.0 ); Wrong
See also
Wikibook
Ada Programming
Ada Programming/Attributes
Ada Programming/Attributes/'Floor
Ada Programming/Attributes/'Rounding
Ada Programming/Attributes/'Unbiased_Rounding
Ada Reference Manual
13 3 Operational and Representation Attributes
K Language-Defined Attributes
Floor