Type. Définition d'une contrainte sur un objet d'un type.
Instruction. Définition de corps de la contrainte d'un type.
Définition du corps d'un constructeur d'un objet d'un type.
Contrainte Objet > ValeurDeContrainte
Contrainte Objet < ValeurDeContrainte
Contrainte Objet >= ValeurDeContrainte
Contrainte Objet <= ValeurDeContrainte
Contrainte()
TypeDAcces Contrainte NomDUnType ()
CorpsDUneProcedureOuDUneFonction
Fin Contrainte
Contrainte permet de poser une contrainte basique sur les types de base Caractere, Entier et Reel afin de restreindre la plage des valeurs possibles.
La contrainte est définie par une condition dont l'expression emploie des constantes. En conséquence, les constantes doivent être du même type que le type base sur lequel est défini la contrainte.
Contrainte permet également de poser une contrainte fonctionnelle sur un type déjà défini. En ce cas, la contrainte est une méthode dont le résultat est de type Booleen. Par convention, Vrai signifie que la contrainte est respectée.
Les contraintes sont vérifiées à chaque fois qu'un objet d'un type contraint est modifié.
Type EntierNaturel=Entier Contrainte Objet >=0;
/* Définition du type 'EntierNaturel' à partir du type 'Entier'. */
Type TypeA
/********/
A :Nul Ou Entier;
B :Nul Ou Entier;
Contrainte();
/* Le type 'TypeA' comporte une contrainte. */
Fin Type
Type TypeB=Caractere Contrainte();
/* Le type 'TypeB' comporte une contrainte. */
Contrainte TypeA()
/****************/
/* Vérification de la contrainte du type 'TypeA'. */
Debut
...
Fin Contrainte
Contrainte TypeB()
/****************/
/* Vérification de la contrainte du type 'TypeB'. */
Debut
...
Fin Contrainte
| - | - | - | - | - | - | - | - | - |