diff options
Diffstat (limited to 'src/parser.mli')
-rw-r--r-- | src/parser.mli | 9 |
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. *) |
9 | val string_of_file : in_channel -> string | 9 | val string_of_file : in_channel -> string |
10 | 10 | ||
11 | (* Converts lexemes into instructions. *) | 11 | (* Converts lexemes into URM instructions. *) |
12 | val program_of_lex : string list -> urmcmd list | 12 | val urm_program_of_lex : string list -> urmcmd list |
13 | |||
14 | (* Converts lexemes into EURM instructions. *) | ||
15 | val eurm_program_of_lex : string list -> eurmcmd list | ||
13 | 16 | ||
14 | (* Converts lexemes into registers. *) | 17 | (* Converts lexemes into registers. *) |
15 | val regs_of_lex : string list -> reg list | 18 | val 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. *) |
18 | val program_of_string : string -> urmcmd list | 21 | val 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. *) |
21 | val regs_of_string : string -> reg list | 24 | val regs_of_string : string -> reg list |