X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fmeta.g;h=1a972961acbb80c4e556ee5a178a49c1e2c832c4;hp=c89fae1edb27d99061ae7a0da3a0a7f2d1e3613b;hb=77d1e5fd29be1ca529e71a4c011f5edea61588e8;hpb=81b213c3a4345486c2f96f1c44e93d4e38134102 diff --git a/tests/meta.g b/tests/meta.g index c89fae1..1a97296 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -1,18 +1,16 @@ s ::= ws grammar ws => "gram" ws !::= w** -grammar ::= r$$ws => "grammar" +grammar ::= r $$ ws => "grammar" r ::= word ^"::=" alternatives /ws | word ^"!::=" alternatives /ws -ec ::= [~\]\\\-\~] | escaped - alternatives ::= equiAlt $$ (ws ">" ws) equiAlt ::= conjuncts $$ (ws "|" ws) => "alternatives" sequence ::= Es > Es ^"/" e /ws Es ::= e+ -es ::= e$$ws +es ::= e %% ws conjuncts ::= rewrite @@ -24,13 +22,17 @@ rewrite ::= sequence /ws => "rewrite" | sequence ^"=>" quoted /ws | sequence "=>" "()" /ws => "wrap" +ec ::= [~\-\]\\\~] + | escaped + range ::= ec => "range0" - | ec ^"-" ec => "range0" + | ec ^"-" ec => "range1" e ::= word => "nonTerminalY" | [(][)] => "epsilon" | ^"{" alternatives "}" /ws - | "[" [\~]? range* "]" => "range" + | "[" ranges "]" => "range" + | "[~" ranges "]" => "rangex" | e ^"%%" e /ws | e ^"$$" e /ws | e ^"?" /ws @@ -50,6 +52,8 @@ e ::= word => "nonTerminalY" | "(" word ^")" /ws > ^"(" alternatives ")" /ws +ranges ::= range* + w !::= " " | "//" [~\n]* "\n" | "\n"