Ada Programming/Attributes/'Ceiling
< Ada Programming < AttributesComputing » Computer Science » Computer Programming » Ada Programming
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; ... pragma Assert (Float'Ceiling(X) = 2.0 ); -- OK pragma Assert (Float'Ceiling(Y) = 1.0 ); -- OK pragma 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 (Annotated)
- Annex K Language-Defined Attributes (Annotated)
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.