Enumere
Enumere
permet de spécifier qu'une variable ou qu'un paramètre est de type énuméré. Il s'agit d'un énuméré quelconque à priori inconnu.
L'instruction Enumere
permet également de déclarer un paramètre à un type de type énuméré. Ce paramètre peut être employé pour déclarer une propriété ou en tant que paramètre d'une méthode. En revanche, il ne peut être utilisé en tant que critère de l'instruction Selon.
Pour convertir un énuméré générique en un énuméré spécifique, il suffit d'employer cet énuméré en tant que constructeur en lui passant en paramètre l'expression de l'énuméré générique comme le montre l'exemple ci-dessous.
Type P(P1 : Constante, P2 : Enumere, P3 : Type)
/*********************************************/
...
Fin Type
/* Définition du type P. Il est paramétré par une constante entière, un énuméré et un type. Le type ne peut être nul. */
Variable
/******/
V : P(10, Booleen, Entier);
/* Déclaration d'une variable du type 'P' qui est paramétré. */
W : Enumere;
/* Déclaration d'une variable représentant un énuméré quelconque. */
B : Booleen;
/* Pour récupérer la valeur de l'énuméré générique. */
Principal
/*******/
Debut
W=Vrai;
/* Alimentation de l'énuméré générique. */
...
B=Booleen(W);
/* Conversion de l'énuméré générique en un booléen. */
Fin Principal
- | - | - | - | - | - | - | - | - |