aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--eurml.mli11
1 files changed, 11 insertions, 0 deletions
diff --git a/eurml.mli b/eurml.mli
index 1b13dca..8fd8ef1 100644
--- a/eurml.mli
+++ b/eurml.mli
@@ -5,10 +5,21 @@
5 5
6open Common 6open Common
7 7
8(* Strips out comments and rewrite/enumerate labels *)
8val compile_preprocess : eurmcmd list -> eurmcmd list 9val compile_preprocess : eurmcmd list -> eurmcmd list
10
11(* Rewrites Dec, GEqPredicate, LEqPredicate, LTPredicate, Mult and ZeroPredicate *)
9val compile_stage1 : eurmcmd list -> state -> eurmcmd list * state 12val compile_stage1 : eurmcmd list -> state -> eurmcmd list * state
13
14(* Rewrites Add, GTPredicate and Sub *)
10val compile_stage2 : eurmcmd list -> state -> eurmcmd list * state 15val compile_stage2 : eurmcmd list -> state -> eurmcmd list * state
16
17(* Rewrites Goto *)
11val compile_stage3 : eurmcmd list -> state -> eurmcmd list * state 18val compile_stage3 : eurmcmd list -> state -> eurmcmd list * state
19
20(* Rewrites Inc, EqPredicate, Label and Zero *)
12val compile_stage4 : eurmcmd list -> state -> urmcmd list * state 21val compile_stage4 : eurmcmd list -> state -> urmcmd list * state
22
23(* Transcompiles an EURM instruction sequence into URM *)
13val urm_from_eurm : eurmcmd list -> urmcmd list 24val urm_from_eurm : eurmcmd list -> urmcmd list
14 25