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 |
Partager