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
/********/
A:Nul Ou Entier;
/* Le type 'TypeA' comporte une contrainte. */
B:Nul Ou Entier;
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
Begrenzung | Constraint | 限制 | Constrenimiento | - | - | - | - |