Ada 编程/属性/'Width

计算 » 计算机科学 » 计算机编程 » Ada 编程

---

描述

X'Width 是一个 Ada 属性，其中 X 是任何离散类型。此属性表示使用 X'Image 属性来表示“最长”类型值所需的字符数。

示例

type My_Enum is (Big, Bigger, Biggest);
...
pragma Assert (My_Enum'Image (Biggest) = "BIGGEST" );
pragma Assert (My_Enum'Width = 7); 
-- Width of "BIGGEST" is seven
-- Width of "BIG" and "BIGGER" are irrelevant.

参见

维基教科书

• Ada 编程
• Ada 编程/属性
• Ada 编程/属性/'Image

Ada 参考手册

• 13.3 操作和表示属性 (注释)
• 附录 K 语言定义属性 (注释)