Ada 程式設計/屬性/'Width
外觀
X'Width 是一個 Ada 屬性,其中 X 是任何離散型別。此屬性表示使用 X'Image 屬性來表示“最長”型別值所需的字元數。
typeMy_Enumis(Big, Bigger, Biggest); ...pragmaAssert (My_Enum'Image (Biggest) = "BIGGEST" );pragmaAssert (My_Enum'Width = 7); -- Width of "BIGGEST" is seven -- Width of "BIG" and "BIGGER" are irrelevant.
- 13.3 操作和表示屬性 (註釋)
- 附錄 K 語言定義屬性 (註釋)
