temporary save point

Just to save some work.

1 files changed, 62 insertions, 0 deletions

diff --git a/src/bnf.bnf b/src/bnf.bnf
new file mode 100644
index 0000000..26e9861
--- /dev/null
+++ b/src/bnf.bnf
@@ -0,0 +1,62 @@
+# A grammar file for reading BNF notation
+
+[id]: a-zA-Z-_+*@
+
+[notbracket]: ^[]
+
+[notnewline]: ^\n\r
+
+--
+
+BNF: predicate_section "--\n" rules_section
+BNF: rules_section
+BNF:
+
+spaces: space spaces
+spaces:
+
+space: " "
+space: "\t"
+
+empty: spaces empty
+empty: "\n" empty "\n"
+empty: "\r" empty "\n"
+empty: "#" notnewlines "\n"
+empty:
+
+notnewlines: [notnewline] notnewlines
+notnewlines:
+
+predicate_section: predicate empty "\n" empty predicate_section
+predicate_section:
+
+predicate: "[" ids "]:" spaces class
+
+ids: [id] ids
+ids:
+
+# Yes, a class specification can be empty, in which case the predicate
+# is equivalent with the default "any" predicate.
+
+class: positive_class
+class: "^" positive_class
+
+positive_class: positive_specification positive_class
+positive_class:
+
+positive_specification: notnewline
+positive_specification: notnewline "-" notnewline
+
+notnewline: [notnewline]
+notnewline: "\\" [any]
+notnewline:
+
+rules_section: rule empty "\n" empty rules_section
+
+rule: rule_name ":" spaces rule_rhs
+
+rule_name: [notbracket] rule_name
+rule_name:
+
+rule_rhs: ids spaces rule_rhs
+rule_rhs: