X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=tests%2Fmeta.g;h=5b4cf6af5199b123339d89e161177b3a21f40351;hb=f886ddc95036b4fdb55a02ad566303f9bf1829d1;hp=8c3a3436ad852b66b66556d6060f3441b836f812;hpb=4e85e3e3519cf88a4469d4ead6369eaa1ab2c4e2;p=sbp.git diff --git a/tests/meta.g b/tests/meta.g index 8c3a343..5b4cf6a 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -1,46 +1,53 @@ -s ::= w* Grammar w* => "gram" -Grammar ::= R+ => "grammar" -R ::= word ^"::=" Alternatives - | word ^"!::=" Alternatives +s ::= ws grammar ws => "gram" +ws !::= w** +grammar ::= r+/ws => "grammar" +r ::= word ^"::=" alternatives /ws + | word ^"!::=" alternatives /ws ec ::= [~\]\\\-\~] | escaped -Alternatives ::= EquiAlt +/ ">" -EquiAlt ::= Conjuncts +/ "|" => "alternatives" +alternatives ::= equiAlt +/ (ws ">" ws) +equiAlt ::= conjuncts +/ (ws "|" ws) => "alternatives" -Sequence ::= E+ -Conjuncts ::= Rewrite - | Rewrite ^"&" Sequence - | Rewrite ^"&~" Sequence +sequence ::= Es + > Es ^"/" e /ws +Es ::= e+ +es ::= e+/ws -Rewrite ::= Sequence => "rewrite" - | Sequence ^"=>" word - | Sequence ^"=>" quoted - | Sequence "=>" "()" => "wrap" +conjuncts ::= rewrite + | rewrite ^"&" sequence /ws + | rewrite ^"&~" sequence /ws -range ::= ec => "range0" | ec ^"-" ec => "range0" -E ::= word => "nonTerminalY" +rewrite ::= sequence /ws => "rewrite" + | sequence ^"=>" word /ws + | sequence ^"=>" quoted /ws + | sequence "=>" "()" /ws => "wrap" + +range ::= ec => "range0" + | ec ^"-" ec => "range0" + +e ::= word => "nonTerminalY" | [(][)] => "epsilon" - | ^"{" Alternatives "}" + | ^"{" alternatives "}" /ws | "[" [\~]? range* "]" => "range" - | E ^"*/" E - | E ^"+/" E - | E ^"?" - | E ^"~/~" + | e ^"*/" e /ws + | e ^"+/" e /ws + | e ^"?" /ws + | e ^"~/~" /ws - | E ^"-" E + | e ^"-" e /ws - | ^"!" E - | "^" quoted => "care" - | ^"`" E - | E ^"#" + | ^"!" e /ws + | "^" quoted /ws => "care" + | ^"`" e /ws + | e ^"#" /ws | quoted => "literal" - | (E ^"**" > E ^"*") - | (E ^"++" > E ^"+") + | (e ws ^"**" > e ws ^"*") + | (e ws ^"++" > e ws ^"+") - | "(" word ^")" - > ^"(" Alternatives ")" + | "(" word ^")" /ws + > ^"(" alternatives ")" /ws w !::= " " | "//" [~\n]* "\n" @@ -52,3 +59,5 @@ quoted ::= "\"" ([~\"\\] | escaped)* "\"" => "sify" escaped ::= "\\n" => "\n" | "\\r" => "\r" | "\\" [~nr] + +