Ada 程式設計/屬性/'Pred

計算 » 計算機科學 » 計算機程式設計 » Ada 程式設計

---

描述

X'Pred(Y) 是 Ada 屬性，其中 X 是任何離散型別，Y 是該型別的值。此屬性表示位置編號比輸入引數小 1 的離散值。

返回的離散值型別是離散型別的基本型別。如果輸入引數是離散型別的 First 值，則會引發 CONSTRAINT_ERROR 異常。

示例

type My_Enum is (Enum1, Enum2, Enum3);
...
pragma Assert (My_Enum'Pred (Enum2) = Enum1); -- OK
pragma Assert (My_Enum'Pred (Enum1) = Enum3); -- Wrong

另請參閱

Wikibook

• Ada 程式設計
• Ada 程式設計/屬性/'Succ

Ada 參考手冊

• 13.3 操作和表示屬性 (註釋)
• 附錄 K 語言定義的屬性 (註釋)