/*
 * Clément BALANGER
 * IUT Info Nantes 2019
 */

MACHINE
    Calculatrice
VARIABLES/* liste de toutes les variables utilisées */
       rp, // variable représentant un registre primaire
       rs //variable représentant un registre secondaire
INVARIANT
       rp:0..255  //registre 8 bits
       & rs:0..255 //registre 8 bits
INITIALISATION
       rp:=0 || rs:=0
OPERATIONS
       storeRP(val)= //stockage d’une valeur val donnée dans le registre RP
       PRE
           val:0..255
       THEN
           rp:=val
       END
       ;

       nc1=//incrémentation de son registre principal de 1
       PRE
           rp+1<255
       THEN
           rp:=rp+1
       END
       ;

       dec1 = // décrémentation de son registre principal de 1.
       PRE
           rp>0
       THEN
           rp:=rp-1
       END
       ;

       res <-- cmp =// comparaison de deux valeurs, l’une dans RP l’autre dans RS ; l’opération cmp renvoie un résultat qui est 1 ou 0 (valeurs égales, ou valeurs différentes).
        res:=bool(rp=rs)
        ;


       res <-- getRP = //récupération de la valeur stockée dans RP (prévoir une variable de sortie)
           res := rp

END