Contrainte

Syntaxe...
Description...
Exemple...
Voir aussi...
Traduction...

Instruction-attribut de 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 Objet Entre ValeurDeContrainte Et ValeurDeContrainte

Contrainte Objet Dans ListeDeValeursDeContrainte

Contrainte Objet Comme ValeurDeContrainte

Contrainte()

TypeAcces Contrainte NomDUnType ()
CorpsDUneProcedureOuDUneFonction
Fin Contrainte

Revenir en haut de la page...

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é.

Revenir en haut de la page...

Type Hexadecimal=Caractere Contrainte Objet Dans ("0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "0", "A", "B", "C", "D", "E", "F");
/* Définition du type 'Hexadecimal' à partir du type 'Caractere'. */

Type EntierNaturel=Entier Contrainte Objet >=0;
/* Définition du type 'EntierNaturel' à partir du type 'Entier'. */>BR>
Type Ratio=Reel Contrainte Objet Entre 0 Et 1;
/* Définition du type 'Ratio' à partir du type 'Reel'. */

Type TypeA
/********/

/* 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

Revenir en haut de la page...
Comme, Dans et Entre pour connaître les conditions employables dans une contrainte. Caractere, Entier et Reel pour connaître les types de base possibles.

Revenir en haut de la page...

BegrenzungConstraint限制Constrenimiento----

Revenir en haut de la page...