diff options
Diffstat (limited to 'source/CommandLineInterface.def')
| -rw-r--r-- | source/CommandLineInterface.def | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/source/CommandLineInterface.def b/source/CommandLineInterface.def new file mode 100644 index 0000000..e4688c4 --- /dev/null +++ b/source/CommandLineInterface.def @@ -0,0 +1,16 @@ +DEFINITION MODULE CommandLineInterface; + +FROM Common IMPORT ShortString; + +TYPE + CommandLine = RECORD + input: ShortString; + output: ShortString; + lex: BOOLEAN; + parse: BOOLEAN + END; + PCommandLine = POINTER TO CommandLine; + +PROCEDURE parse_command_line(): PCommandLine; + +END CommandLineInterface. |
