Ein ähnliches Konstrukt ist uns schon bei der Definition von Varianten-Records begegnet. Eine typische Struktur in Ada ist etwa folgende:
case Ausdruck is
|
hinter einem
when stehen, es muß jedoch mindestens ein solcher Teil folgen. Ein
<Element_oder_Bereich_x>-Teil
kann dabei ein passender Ausdruck, ein Wert oder ein Bereich des durch
<Ausdruck> definierten Typs sein. Als letzte Alternative darf auch
others stehen.