跳轉到內容

Ada 程式設計/屬性/'模數

來自華夏公益教科書,開放的書籍,開放的世界

Ada. Time-tested, safe and secure.
Ada。經久耐用,安全可靠。

X'Modulus 是一個 Ada 屬性,其中 X 是任何 型別。它返回 X 的模數。

type Unsigned_Byte is mod 2**8;
type Unsigned_Word is mod 2**16;
 
pragma Assert (Unsigned_Byte'Modulus = 256);  -- Ok
pragma Assert (Unsigned_Word'Modulus = 65536);  -- Ok

華夏公益教科書

[編輯 | 編輯原始碼]

Ada 參考手冊

[編輯 | 編輯原始碼]
華夏公益教科書