ALL - Intervalle de valeurs

Instruction. Définit toute la plage des valeurs.

Syntaxe

ALL

Description

L'instruction ALL définit toute la plage des valeurs possibles d'une propriété, d'un paramètre ou d'une valeur au regard du type sur lequel elle porte.

Elle utilisée conjointement avec l'instruction EXCEPT pour définir une contraite de soustraction.

Exemple

-- Definition d'un type entier comprenant toutes les nombres sauf 0.
MonType ::= INTEGER ( ALL EXCEPT (0))

Voir aussi

EXCEPT pour faire l'intersection de deux ensembles de valeurs.