Ada 编程/属性/'模数

计算 » 计算机科学 » 计算机编程 » 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 编程
• Ada 编程/属性

Ada 参考手册

• 3.5-4 整数类型 (带注释的)
• 附录 K 语言定义属性 (带注释的)