COMPONENTS - Définition d'une contrainte sur une séquence ou un ensemble

Instruction. Définition d'une contrainte sur une séquence ou un ensemble.

Syntaxe

WITH COMPONENTS { ListeDeContraintes }

Description

L'instruction COMPONENTS permet de spécifier une contraite sur les propriétés d'une séquence ou d'un ensemble qui est surchargé.

La contrainte peut porter sur :

Si toutes les propriétés du type surchargé ne sont pas contraintes, il faut utiliser l'opérateur d'extension ....

Exemple

-- Definition d'une sequence avec trois propriétes.
MonType1 ::= SEQUENCE
-- Definition d'une surcharge du type precedent.
MonType2 ::= MonType1 (WITH COMPONENTS

Voir aussi

SEQUENCE et SET pour définir des listes.