diff options
Diffstat (limited to 'source/CommandLineInterface.def')
| -rw-r--r-- | source/CommandLineInterface.def | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/source/CommandLineInterface.def b/source/CommandLineInterface.def deleted file mode 100644 index e4688c4..0000000 --- a/source/CommandLineInterface.def +++ /dev/null @@ -1,16 +0,0 @@ -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. |