Discussion :

[nexin]

Bonjour,
Je débute en méthode B et j'ai un problème d'incompatibilité que je ne comprends pas.

Voici mon code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
/* MiniDico
 * Author: moi
 * Creation date: sam. déc. 5 2009
 */
MACHINE
    MiniDico
    
SETS  /*ensembles inmodifiables*/
    MOTS;  /*tous les mots*/
    SIGNIFIK /*toutes les significations */
    
VARIABLES /*ensembles modifiables*/
    dicoMot,  /* les mots du dictionnaire*/
    dicoSignifik, /*les signification du dictionnaire */
    Dico /*le dictionnaire */
    
INVARIANT /*propriétés*/
     dicoSignifik <: SIGNIFIK 
    &dicoMot <: MOTS
    &Dico : dicoMot--> dicoSignifik
       
INITIALISATION
    dicoMot := {} 
    || dicoSignifik := {}
    || Dico := {}
    
    
OPERATIONS
    
    
    AjoutMot (mm,signif) =
    PRE
        mm : MOTS  /* il faut que mm soit un mot */
        &signif : SIGNIFIK
        &mm /: dicoMot   /* il faut pas que mm existe déjà dans le dico */ 
        & signif /: dicoSignifik
   
    THEN
        dicoMot := dicoMot \/ mm   /*ajout du mot*/
        || dicoSignif := dicoSignif \/ signif  /*ajout de la signification*/
        || dico := dico \/ {mm |-> signif }  /*ajout du couple (mot, signif)*/
        
        END
    
    
END

Le problème se trouve dans la précondition PRE, au niveau du " mm : MOTS "

Merci d'avance !!

[nexin]

Je crois que j'ai trouvé ;

je dis mm : MOTS /* mm est un élément */

mais après je dis
dicoMot := dicoMot \/ mm /* mm est un ensemble */

Voilà l'incompatibilité !



Mais ceci pose un autre problème...

Comment je vais faire pour rajouter "mm" dans "dicoMot".... ?

[nexin]

en mettant des { } -_-