-s = ws gram:Grammar ws
-Grammar = grammar:: NonTerminal +/ ws
-NonTerminal = word !wp ^"=" !wp RHS
+s = !ws (grammar::Grammar) !ws
+
+Grammar = NonTerminal +/ ws
+
+NonTerminal = Word ^"=" RHS /ws
+
+// use 'a'-'z' or 'a-z' instead of [a-z]?
+// EOF token?
+// #include (with renaming?)
+// ANTLR uses ! and ^ suffixes
RHS = (Sequence +/ (!ws "|" !ws)) +/ (!ws ">" !ws)
Elements = e*/ws
PreSequence = ps:: Elements
- | PreSequence !wp ^"/" !ws e
- | PreSequence ^"->" e /ws
- | (Quoted|word) ^"::" PreSequence /ws
+ | (Quoted|Word) ^"::" PreSequence /ws
+ > PreSequence ^"/" e /ws
+ | PreSequence ^"->" e /ws
Sequence = psx:: PreSequence
- | Sequence !ws ^"&" !ws Elements
- | Sequence !ws ^"&~" !ws Elements
+ | Sequence ^"&" Elements /ws
+ | Sequence ^"&~" Elements /ws
ec = ~[\-\]\\]
| escaped
Range = range:: ec
| ec ^"-" ec
-e = (Quoted|word) ^":" e
- > nonTerminal:: word
+e = (Quoted|Word) ^":" e
+ > nonTerminal:: Word
| literal:: Quoted
| ^"()"
- | ^"{" Sequence "}" /ws
+ | ^"{" PreSequence "}" /ws
| ^"[" Range* "]"
| e ^"++" /ws -> ~[/]
| e ^"+" /ws -> ~[+]
| ^"!" e /ws
| e ^"?" /ws
| ^"^" Quoted
- | "(" word ^")" /ws
+ | "(" Word ^")" /ws
> ^"(" RHS ")" /ws
| ^"~" e
- > "^^":: "^" e
+ > "^^":: "^" e
-word = [a-zA-Z0-9_]++
+Word = [a-zA-Z0-9_]++
Quoted = "\"" ((~[\"\\] | escaped)+) "\""
| "":: "\"\""
escaped = "\n":: "\\n"
| "\r":: "\\r"
| "\\" ~[nr]
-
w = " " | "\n" | "\r"
ws = "()":: w**
- | "()":: w** "//" ~[\n]* "\n" ws
+ | "()":: w** "//" (~[\n])* "\n" ws
wp = w++