aboutsummaryrefslogtreecommitdiff
path: root/src/parser.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/parser.mli')
-rw-r--r--src/parser.mli9
1 files changed, 6 insertions, 3 deletions
diff --git a/src/parser.mli b/src/parser.mli
index 21fc940..2cad383 100644
--- a/src/parser.mli
+++ b/src/parser.mli
@@ -8,14 +8,17 @@ open Common
8(* Reads a file into a string. *) 8(* Reads a file into a string. *)
9val string_of_file : in_channel -> string 9val string_of_file : in_channel -> string
10 10
11(* Converts lexemes into instructions. *) 11(* Converts lexemes into URM instructions. *)
12val program_of_lex : string list -> urmcmd list 12val urm_program_of_lex : string list -> urmcmd list
13
14(* Converts lexemes into EURM instructions. *)
15val eurm_program_of_lex : string list -> eurmcmd list
13 16
14(* Converts lexemes into registers. *) 17(* Converts lexemes into registers. *)
15val regs_of_lex : string list -> reg list 18val regs_of_lex : string list -> reg list
16 19
17(* Parses the string representation of a program. *) 20(* Parses the string representation of a program. *)
18val program_of_string : string -> urmcmd list 21val program_of_string : (string list -> 'a list) -> string -> 'a list
19 22
20(* Parses the string representation of serialized registers. *) 23(* Parses the string representation of serialized registers. *)
21val regs_of_string : string -> reg list 24val regs_of_string : string -> reg list