some notes
authorPeizhao Ou <peizhaoo@uci.edu>
Tue, 6 Jan 2015 21:56:10 +0000 (13:56 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Tue, 6 Jan 2015 21:56:10 +0000 (13:56 -0800)
grammer/README.txt [new file with mode: 0644]

diff --git a/grammer/README.txt b/grammer/README.txt
new file mode 100644 (file)
index 0000000..6ceacda
--- /dev/null
@@ -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.