Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- /*
- * 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
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement