X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fmeta.g;h=9755cfc18f8adb23deb5f63a1bf7d3beb07a0ec6;hp=8c3a3436ad852b66b66556d6060f3441b836f812;hb=2fae767715346f7d7e708b63f00a2f40ec26d3de;hpb=4e85e3e3519cf88a4469d4ead6369eaa1ab2c4e2 diff --git a/tests/meta.g b/tests/meta.g index 8c3a343..9755cfc 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -1,46 +1,55 @@ -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" -range ::= ec => "range0" | ec ^"-" ec => "range0" -E ::= word => "nonTerminalY" +conjuncts ::= rewrite + | rewrite ^"&" sequence /ws + | rewrite ^"&~" sequence /ws + +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 ^"+/" 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 +61,5 @@ quoted ::= "\"" ([~\"\\] | escaped)* "\"" => "sify" escaped ::= "\\n" => "\n" | "\\r" => "\r" | "\\" [~nr] + +