INCLUDES

Instruction. Contrainte par la restriction de la plage de valeurs.

Syntaxe

INCLUDES

Description

Quand un type est surchagé avec une contrainte sur la plage de valeurs, l'instruction INCLUDES permet à la fois de déclarer un autre type comme étant générique tout en étant limité à la plage de valeurs du type surchagé.

Exemple


-- Definition d'un type entier entre 0 et 255.

MonType1 ::= INTEGER (0..255)



-- Definition du type MonType2 par restriction du type MonType1 entre 0 et 127.

MonType2 ::= MonType1 (0..127)



-- Definition du type MonType3 semantiquement identique a MonType2 aux valeurs limitees a celles de MonType2.

MonType3 ::= MonType1 (INCLUDES MonType2)

Voir aussi PATTERN pour définir une contrainte par une expression régulière. SIZE pour définir une contrainte par une taille.