Ada 程式設計/屬性/'Ceiling

計算 » 計算機科學 » 計算機程式設計 » 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 程式設計
• Ada 程式設計/屬性
• Ada 程式設計/屬性/'Floor
• Ada 程式設計/屬性/'Rounding
• Ada 程式設計/屬性/'Unbiased_Rounding

Ada 參考手冊

• 13.3 操作和表示屬性 (帶註釋)
• 附錄 K 語言定義屬性 (帶註釋)