跳转到内容

Ada 编程/属性/'Ceiling

Add links
来自维基教科书，开放的书籍，面向开放的世界
Ada. Time-tested, safe and secure.
Ada. 经久考验，安全可靠。

描述

[编辑 | 编辑源代码]

X'Ceiling(Y) 是一个 Ada 属性，其中 X 是任何浮点类型，而 Y 是该类型的任何实例。此属性表示大于或等于 Y 的最小整数值。

示例

[编辑 | 编辑源代码]
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

另请参阅

[编辑 | 编辑源代码]

维基教科书

[编辑 | 编辑源代码]

Ada 参考手册

[编辑 | 编辑源代码]
检索自 "https://wikibooks.cn/w/index.php?title=Ada_Programming/Attributes/%27Ceiling&oldid=3823196"
华夏公益教科书