{}

Marque. Corps du choix, ensemble ou séquence.

Syntaxe

CHOICE { ListeDeChoix }

SEQUENCE { ListeDElements }

SET { ListeDElements }

Description

L'opérateur {} délimite le corps d'un choix, d'un ensemble ou d'une séquence.

Il sert également à délimiter les paramètres d'un type.

Exemple

-- Definition d'une sequence avec trois proprietes.
MonType ::= SEQUENCE

Voir aussi

::=, @, ^, |, <, ., .., ..., :, !, &, [], [[]] pour connaître des autres opérateurs.