Instruction. Définit un type correspondant à une séquence.

Instruction. Définit un type correspondant à une séquence.

Syntaxe

SEQUENCE { ListeDElementsOption }

Description

L'instruction SEQUENCE permet de spécifier que le type correspondant à une séquence de propriétés respectant un certain ordre.

Cela correspond à l'instruction Type en Up ! 5GL.

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 la séquence la plus englobante.
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'une sequence avec trois proprietes.

MonType ::= SEQUENCE

	{

	MaProprieteA BOOLEAN,

	MaProprieteB INTEGER,

	MaProprieteC CHARACTER STRING

	}

Voir aussi

CHOICE et SET pour construire un type autrement.