SHARE
TWEET

Untitled

a guest Oct 15th, 2019 85 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. /*
  2.  * Clément BALANGER
  3.  * IUT Info Nantes 2019
  4.  */
  5.  
  6. MACHINE
  7.     Calculatrice
  8. VARIABLES/* liste de toutes les variables utilisées */
  9.        rp, // variable représentant un registre primaire
  10.        rs //variable représentant un registre secondaire
  11. INVARIANT
  12.        rp:0..255  //registre 8 bits
  13.        & rs:0..255 //registre 8 bits
  14. INITIALISATION
  15.        rp:=0 || rs:=0
  16. OPERATIONS
  17.        storeRP(val)= //stockage d’une valeur val donnée dans le registre RP
  18.        PRE
  19.            val:0..255
  20.        THEN
  21.            rp:=val
  22.        END
  23.        ;
  24.        
  25.        nc1=//incrémentation de son registre principal de 1
  26.        PRE
  27.            rp+1<255
  28.        THEN
  29.            rp:=rp+1
  30.        END
  31.        ;
  32.        
  33.        dec1 = // décrémentation de son registre principal de 1.
  34.        PRE
  35.            rp>0
  36.        THEN
  37.            rp:=rp-1
  38.        END
  39.        ;
  40.        
  41.        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).
  42.         res:=bool(rp=rs)
  43.         ;
  44.              
  45.  
  46.        res <-- getRP = //récupération de la valeur stockée dans RP (prévoir une variable de sortie)
  47.            res := rp
  48.  
  49. END
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top