Définition...
Opérateurs...
Exemple...
Voir aussi...
Traduction...
/***************************************************************/
Interface IEspaceMetre Defaut Final
/* Objet : Definition des espaces metrés. */
/***************************************************************/
Operateur Optimiser(Invariant, NulAbsorbant) <=(E:Nul Ou IEspaceMetre) Retourner Nul Ou Booleen;
Operateur Optimiser(Invariant, NulAbsorbant) >=(E:Nul Ou IEspaceMetre) Retourner Nul Ou Booleen;
Operateur Optimiser(Invariant, NulAbsorbant) <(E:Nul Ou IEspaceMetre) Retourner Nul Ou Booleen;
Operateur Optimiser(Invariant, NulAbsorbant) >(E:Nul Ou IEspaceMetre) Retourner Nul Ou Booleen;
Fin Interface
L'interface IEspaceMetre modélise un espace métré i.e. un espace comportant les opérations de comparaison. Ce concept est important puisque ses propriétés sont utilisées par l'algorithme de preuve de programme d'Up ! Compiler.
L'interface IEspaceMetre ne possède pas de constructeur implicite.
Enumere
Couleurs (Bleu, Blanc, Rouge);
/* Définition des couleurs. Il n'y a pas de valeur d'associée aux couleurs. */
Variable
C1 : Couleurs;
C2 : Caractere;
Principal
Debut
...
C1=Bleu;
...
Si C1==Bleu Alors
/* Egalité entre deux valeurs d'un même énuméré. */
...
Fin Si
Si C1!=Bleu Alors
/* Inégalité entre deux valeurs d'un même énuméré. */
...
Fin Si
Si C1<=Bleu Alors
/* Infériorité large entre deux valeurs d'un même énuméré. */
...
Fin Si
Si C1<Bleu Alors
/* Infériorité stricte entre deux valeurs d'un même énuméré. */
...
Fin Si
...
C2="coucou";
Si C1=="hello" Alors
/* Egalité entre deux chaînes de caractères. */
...
Si C1!="hello" Alors
/* Inégalité entre deux chaînes de caractères. */
...
Si C1<="hello" Alors
/* Infériorité large entre deux chaînes de caractères. */
...
Si C1<"hello" Alors
/* Infériorité stricte entre deux chaînes de caractères. */
...
...
Fin Principal
IGemessenerRaum | IMeteredSpace | 我测量了空间 | IEspacioMedicion | - | - | - | - |