跳轉到內容

Ada 程式設計/屬性/'Floor

Add links
來自華夏公益教科書，開放的書籍，開放的世界
Ada. Time-tested, safe and secure.
Ada.經久考驗，安全可靠。

描述

[編輯 | 編輯原始碼]

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 參考手冊

[編輯 | 編輯原始碼]
取自“https://wikibook.tw/w/index.php?title=Ada_Programming/Attributes/%27Floor&oldid=3502680”
華夏公益教科書