1. inStat : program -> statement list
Cette fonction retourne la liste des définitions d’un programme qui correspondent à des entrées (input). En se
référant à l’exemple précédent, cette fonction retournerait la liste suivante :
[ {name="n_tp1", exp=EmptyExp, cond=Bool true, IS},
{name="n_tp2", exp=EmptyExp, cond=Bool true, IS},
{name="n_ex1", exp=EmptyExp, cond=Bool true, IS},
{name="n_ex2", exp=EmptyExp, cond=Bool true, IS}
]
2. outStat : program -> statement list
Cette fonction retourne la liste des définitions d’un programme qui correspondent à des sorties (output). En se
référant à l’exemple précédent, cette fonction retournerait la liste suivante :
[ {name="moy", exp=BinOp(Plus, BinOp(Div, BinOp(Times, Var "moy_tp", Int 30), Int 100),
BinOp(Div, BinOp(Times, Var "moy_ex",Int 30), Int 100)),
cond=Bool true, OS}
]
3. usePgm : program -> id list
Cette fonction retourne toutes les variables utilisées (champs «exp» et «cond») dans toutes les définitions (statement)
qui s’y trouvent.
4. defPgm : program -> id list
Cette fonction retourne toutes les variables qui y sont définies.