Ada Programming/Attributes/'Succ

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 value of the discrete type, then a CONSTRAINT_ERROR exception will be raised.

Example
My_Enum (Enum1, Enum2, Enum3); ... (My_Enum'Succ(Enum2) = Enum3); (My_Enum'Succ(Enum3) = Enum1);

Wikibook

 * Ada Programming
 * Ada Programming/Attributes/'Pred

Ada Reference Manual


|Succ