Ada 程式設計/屬性/'Image
X'Image(Y) 是 Ada 屬性，其中 X 是任何離散型別，Y 是該型別的例項。此屬性返回作為輸入傳遞的值的字串表示形式。
此屬性是一種將型別值自動轉換為適合輸出的字串的實用方法。
在 Ada 2022 中添加了簡化版本
Y’Image 返回字串
Y 值的字串形式影像。
type My_Enum is (Enum1, Enum2, Enum3);
...
pragma Assert (My_Enum'Image (Enum1) = "ENUM1");
pragma Assert (Enum1'Image = "ENUM1"); -- Ada 2022
- 13.3 操作和表示屬性 (註釋)
- 附錄 K 語言定義的屬性 (註釋)