Ada 编程/属性/'Floor

描述

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

示例

X : Float := 1.5;
Y : Float := 1.0;
Z : Float := 1.999;
 
pragma Assert (Float'Floor (X) = 1.0);  -- OK
pragma Assert (Float'Floor (Y) = 1.0);  -- OK
pragma Assert (Float'Floor (Z) = 2.0);  -- Wrong

参见

维基教科书

Ada 参考手册