From 23b6f074c7f560d701e9a1fa5713a965af3a18a3 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Tue, 2 Dec 2025 10:22:06 +0100 Subject: Merge GCC frontend into the branch --- source/CommandLineInterface.def | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 source/CommandLineInterface.def (limited to 'source/CommandLineInterface.def') 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. -- cgit v1.2.3