Instruction. Définit un type correspondant à un ensemble.

Instruction. Définit un type correspondant à un ensemble.

Syntaxe

SET { ListeDElements }

Description

L'instruction SET permet de spécifier que le type correspondant à un ensemble d'éléments non ordonné.

Pour effectuer un typage dynamique, il ne faut plus utiliser l'instruction ANY mais :

L'opérateur @ qui référencie une propriété de l'ensemble englobant.
L'opérateur @ . qui référencie une propriété de la séquence la plus courante au regard des séquences imbriquées.

Selon une convention ad-hoc du protocole que le module modélise, la propriété référencée contient alors une valeur définissant le type de la valeur typée dynamiquement.

Exemple


-- Definition d'un ensemble d'elements.

MonType ::= SET

	{

	MaProprieteA BOOLEAN,

	MaProprieteB INTEGER,

	MaProprieteC CHARACTER STRING

	}

Voir aussi

CHOICE et SEQUENCE pour construire un type autrement.