/***************************************************************/
Interface IAlgebreCommutative Defaut Final TailleSegment 32 ConserverObjets
/* Objet : Definition des algèbres commutatives. */
/***************************************************************/
/*-------------------------------------------------------------*/
/* Heritage des proprietes d'Objet. */
/*-------------------------------------------------------------*/
Prive :
EstInstanceDe : Type Lecture Public;
/*-------------------------------------------------------------*/
/* Heritage des methodes d'Objet. */
/*-------------------------------------------------------------*/
Public :
Fonction Optimiser(Invariant) Identique(O : Nul Ou Objet) Retourner Nul Ou Booleen;
Procedure Convertir(O : Nul Ou Objet);
Fonction Optimiser(Invariant) CreeParLeServeur() Retourner Entier;
Fonction Optimiser(Invariant) CreeParLeProcessus() Retourner Entier;
Fonction Optimiser(Invariant) CreeDansLEntrepot() Retourner Entrepot;
Fonction Cloner(EntrepotCible : Nul Ou Entrepot=Nul, Profondeur : ModeClonage = ClonageObjetSeul) Retourner Nul Ou Objet;
Fonction LirePropriete(NomPropriete : Caractere) Retourner Nul Ou Objet;
Procedure EcrirePropriete(NomPropriete : Caractere, Valeur : Nul Ou Objet);
Fonction IncrementerDecrementerPropriete(NomPropriete : Nul Ou Caractere, Incrementer : Booleen, Prefixe : Booleen) Retourner Nul Ou Objet;
Procedure SupprimerPropriete(NomPropriete : Caractere);
Fonction Optimiser(Invariant) EnumererProprietes(NumeroPropriete : Entier, TypePropriete : Nul Ou Type=? Sortie, PeutEtreNul : Booleen=? Sortie, Aide : Nul Ou Caractere=? Sortie, NomEnumere : Nul Ou Caractere=? Sortie) Retourner Nul Ou Caractere;
Fonction Optimiser(Invariant) Adresse() Retourner Nul Ou Caractere;
Prive :
Fonction Exporter(E : Nul Ou IEchangeElementaire) Retourner Boolean;
Fonction Importer(E : Nul Ou IEchangeElementaire, EntrepotCible : Nul Ou Entrepot=Nul, EstFiltre : Booleen=Faux, V : Entier=0, R : Entier=0, C : Entier=0) Retourner Nul Ou Objet;
/*-------------------------------------------------------------*/
/* Methodes propres. */
/*-------------------------------------------------------------*/
Public :
Operateur Optimiser(Invariant, NulAbsorbant) +(A : Nul Ou IAlgebreCommutative) Retourner Nul Ou IAlgebreCommutative;
Operateur Optimiser(Invariant) -() Retourner Nul Ou IAlgebreCommutative;
Operateur Optimiser(Invariant, NulAbsorbant) -(A : Nul Ou IAlgebreCommutative) Retourner Nul Ou IAlgebreCommutative;
Operateur Optimiser(Invariant, NulAbsorbant) *(A : Nul Ou IAlgebreCommutative) Retourner Nul Ou IAlgebreCommutative;
Operateur ++(P : Booleen) Retourner Nul Ou IAlgebreCommutative;
Operateur --(P : Booleen) Retourner Nul Ou IAlgebreCommutative;
Prive :
Destructeur(MettreEnAnteMemoire : Booleen) Retourner Booleen;
Fin Interface
L'interface IAlgebreCommutative modélise un espace comportant les opérations standards d'addition, de soustraction et de multiplication. Ce concept est important puisque ses propriétés sont utilisées par l'algorithme de preuve de programme d'Up ! Compiler.
L'interface IAlgebreCommutative ne possède pas de constructeur implicite.
Principal
/*******/
Variable
/******/
PrixArticle : Entier;
/* 'PrixArticle' est une variable de type entier. */
Debut
...
PrixArticle=PrixArticle+10;
/* Addition de deux entiers. */
PrixArticle=PrixArticle-10;
/* Soustraction de deux entiers. */
PrixArticle=PrixArticle*2;
/* Multiplication de deux entiers. */
...
Fin Principal
| - | - | - | - | - | - | - | - | - |