Définition...
Opérateurs...
Exemple...
Voir aussi...
Traduction...
/***************************************************************/
Interface ICorpsCommutatif HeriteDe Public : IAlgebreCommutative Defaut Final
/* Objet : Definition des corps commutatif. */
/***************************************************************/
Public :
/*-------------------------------------------------------------*/
/* Heritage des methodes de IAlgebreCommutative. */
/*-------------------------------------------------------------*/
Operateur Optimiser(Invariant, NulAbsorbant) +(A : Nul Ou ICorpsCommutatif) Retourner Nul Ou ICorpsCommutatif;
Operateur Optimiser(Invariant) -() Retourner Nul Ou ICorpsCommutatif;
Operateur Optimiser(Invariant, NulAbsorbant) -(A : Nul Ou ICorpsCommutatif) Retourner Nul Ou ICorpsCommutatif;
Operateur Optimiser(Invariant, NulAbsorbant) *(A : Nul Ou ICorpsCommutatif) Retourner Nul Ou ICorpsCommutatif;
Operateur ++(P : Booleen) Retourner Nul Ou ICorpsCommutatif;
Operateur --(P : Booleen) Retourner Nul Ou ICorpsCommutatif;
/*-------------------------------------------------------------*/
/* Methodes propres. */
/*-------------------------------------------------------------*/
Operateur Optimiser(Invariant, NulAbsorbant) /(C : Nul Ou ICorpsCommutatif) Retourner Nul Ou ICorpsCommutatif;
Operateur Optimiser(Invariant, NulAbsorbant) ^(C : Nul Ou ICorpsCommutatif) Retourner Nul Ou ICorpsCommutatif;
Fin Interface
L'interface ICorpsCommutatif modélise un espace comportant les opérations standards d'addition, de soustraction, de multiplication et de division. Ce concept est important puisque ses propriétés sont utilisées par l'algorithme de preuve de programme d'Up ! Compiler.
L'interface ICorpsCommutatif ne possède pas de constructeur implicite.
Principal
Variable
PrixArticle : Entier;
/* 'PrixArticle' est une variable de type réel. */
Debut
...
PrixArticle=PrixArticle+10.5;
/* Addition de deux réels. */
PrixArticle=PrixArticle-10.5;
/* Soustraction de deux réels. */
PrixArticle=PrixArticle*2.5;
/* Multiplication de deux réels. */
PrixArticle=PrixArticle/2.5;
/* Division de deux réels. */
PrixArticle=PrixArticle^1.5;
/* Puissance de deux réels. */
...
Fin Principal
IAuswechselbarerKorper | ICommutativeBody | I可交换的身体 | ICuerpoComutativo | - | - | - | - |