X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fmeta.g;h=ac726191e1e925f285d80f41630fdbe512d3ba2d;hp=1852a1775fc6e8e794ff7d27e724910f3965b1b5;hb=ea7e036150d05484ee7867e73d80b5789972edbc;hpb=017b5ed533ca298fe5ae1078e2a59da1d2d95ea2 diff --git a/tests/meta.g b/tests/meta.g index 1852a17..ac72619 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -1,31 +1,39 @@ -s = gram:: !ws Grammar ws -Grammar = grammar:: NonTerminal +/ ws -NonTerminal = word !wp ^"=" !wp RHS - -RHS = (Conjuncts +/ (!ws "|" !ws)) +/ (!ws ">" !ws) - -Conjuncts = Sequence - | Sequence ^"&" Elements /ws - | Sequence ^"&~" Elements /ws -Elements = e*/ws - -PreSequence = ps:: Elements - | PreSequence !wp ^"/" !ws e - | PreSequence ^"->" e /ws - | (Quoted|word) ^"::" PreSequence /ws -Sequence = psx:: PreSequence + //funkanomitron +s = ws Grammar ws -ec = ~[\-\]\\] - | escaped +Grammar:: = Declaration +/ ws + +Declaration = NonTerminal + | ^"#import" FileName /ws + | ^"#import" FileName "as" Word /ws + +FileName:: = (~[\r\n ] | escaped)+ -> [\r\n ] + +NonTerminal = NonTerminal:: Word ws "=" ws RHS + | DropNT:: Word "!" ws "=" ws RHS + | Colons:: Word "::" ws "=" ws RHS + | Word "*" ws ^"=" ws RHS + | Word "*/" Word ws ^"=" ws RHS + +RHS:: = ("|":: Sequence +/ (ws "|" ws)) +/ (ws ">" ws) + +Elements:: = e*/ws -Range = range:: ec - | ec ^"-" ec +PreSequence = Elements + | (Quoted|Word) ^"::" PreSequence /ws + > PreSequence ^"/" e /ws + | PreSequence ^"->" e /ws -e = (Quoted|word) ^":" e - > nonTerminal:: word - | literal:: Quoted +Sequence = PreSequence + | Sequence ^"&" Elements /ws + | Sequence ^"&~" Elements /ws + +e = e ^"!" + > (Quoted|Word) ^":" e + > NonTerminalReference:: Word + | Literal:: Quoted | ^"()" - | ^"{" Sequence "}" /ws + | ^"{" PreSequence "}" /ws | ^"[" Range* "]" | e ^"++" /ws -> ~[/] | e ^"+" /ws -> ~[+] @@ -35,23 +43,26 @@ e = (Quoted|word) ^":" e | e ^"*" /ws -> ~[*] | e ^"**/" e /ws | e ^"*/" e /ws - | ^"!" e /ws | e ^"?" /ws - | ^"^" Quoted /ws - - | "(" word ^")" /ws + | ^"^" Quoted + | "(" Word ^")" > ^"(" RHS ")" /ws | ^"~" e + | ^"\\{" + | ^"\\}" + +Word:: = [.a-zA-Z0-9_]++ +Quoted:: = "\"" (~[\"\\] | escaped)+ "\"" + | "\"\"" -word = [a-zA-Z0-9_]++ -Quoted = "\"" ((~[\"\\] | escaped)+) "\"" - | "":: "\"\"" -escaped = "\n":: "\\n" - | "\r":: "\\r" - | "\\" ~[nr] +Range:: = ec + | ec "-" ec +ec = ~[\-\]\\] + | escaped +escaped = "\n":: "\\n" + | "\r":: "\\r" + | "\\" ~[nr] -w = " " | "\n" | "\r" -ws = "()":: w** - | "()":: w** "//" ~[\n]* "\n" ws -wp = w++ +ws! = [ \r\n]** + | [ \r\n]** "//" ~[\n]* "\n" ws