跳转到内容

Ada 编程/属性/'Pred

Add links
来自 Wikibooks，开放世界中的开放书籍
Ada. Time-tested, safe and secure.
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 参考手册

[编辑 | 编辑源代码]
检索自 "https://wikibooks.cn/w/index.php?title=Ada_Programming/Attributes/%27Pred&oldid=4442074"
华夏公益教科书