跳轉到內容

Ada 程式設計/屬性/'Succ

Add links
來自 Wikibooks，開放的書籍，為開放的世界
Ada. Time-tested, safe and secure.
Ada. 經得起時間考驗，安全可靠。

描述

[編輯 | 編輯原始碼]

X'Succ(Y) 是 Ada 屬性，其中 X 是任何離散型別，Y 是該型別的某個值。此屬性表示與輸入引數的位置編號大一的位置編號的離散值。

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

示例

[編輯 | 編輯原始碼]
type My_Enum is (Enum1, Enum2, Enum3);
...
pragma Assert (My_Enum'Succ(Enum2) = Enum3);   -- OK
pragma Assert (My_Enum'Succ(Enum3) = Enum1);   -- Wrong

參見

[編輯 | 編輯原始碼]

Wikibook

[編輯 | 編輯原始碼]

Ada 語言參考手冊

[編輯 | 編輯原始碼]
檢索自 "https://wikibook.tw/w/index.php?title=Ada_Programming/Attributes/%27Succ&oldid=3250062"
華夏公益教科書