X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fmeta.g;h=55bc02af5668533b149de1ee805deae3a024a560;hp=074b9f3e7c67d939df3364fdf54fde7ae92c953e;hb=001ef4b0165df34e0ab12a2b9cc29959fe0f19e3;hpb=65a0e50a721e1c9ef6c5f38c29229e476733748b diff --git a/tests/meta.g b/tests/meta.g index 074b9f3..55bc02a 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -1,22 +1,22 @@ -s ::= w* Grammar w* => "gram" -ws !::= w* -grammar ::= R+/ws => "grammar" -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 ::= Es ^"/" E /ws - > Es -es ::= E+/ws +sequence ::= Es + > Es ^"/" e /ws +Es ::= e+ +//es ::= E+/ws -Conjuncts ::= rewrite - | rewrite ^"&" sequence - | rewrite ^"&~" sequence +conjuncts ::= rewrite + | rewrite ^"&" sequence /ws + | rewrite ^"&~" sequence /ws rewrite ::= sequence /ws => "rewrite" | sequence ^"=>" word /ws @@ -24,28 +24,28 @@ rewrite ::= sequence /ws => "rewrite" | sequence "=>" "()" /ws => "wrap" range ::= ec => "range0" | ec ^"-" ec => "range0" -E ::= word => "nonTerminalY" +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"