411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Succ
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Attributes 'Succ
__TOC__
Description
X'Succ(Y) is an Ada attribute where X is any discrete type and Y is a value of that type. This attribute represents the discrete value that has a position number of one greater than the input parameter.
The returned discrete value type is the base type of discrete type. If the input parameter is the Last value of the discrete type, then a CONSTRAINT_ERROR exception will be raised.
Example
type My_Enum is (Enum1, Enum2, Enum3);
...
Assert (My_Enum'Succ(Enum2) = Enum3); OK
Assert (My_Enum'Succ(Enum3) = Enum1); Wrong
See also
Wikibook
Ada Programming
Ada Programming/Attributes/'Pred
Ada Reference Manual
13 3 Operational and Representation Attributes
K Language-Defined Attributes
Succ