From 21696a26023bbd64a7927b880f3c23ea9f7173c3 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Tue, 6 Jan 2015 13:56:10 -0800 Subject: [PATCH] some notes --- grammer/README.txt | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 grammer/README.txt diff --git a/grammer/README.txt b/grammer/README.txt new file mode 100644 index 0000000..6ceacda --- /dev/null +++ b/grammer/README.txt @@ -0,0 +1,8 @@ +"preScanner.jj" is used to process the backslash sign at the end of a line +(basically splce broken lines before really processing the specifications). + +"util.jj" is used to process some specific strings, such as the declaration of a +function with templated types. It is designed to be used as a library funcions. + +"spec_compiler.jj" is the real grammer file to parse the text files and extract +structured specifications. -- 2.34.1