X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fmeta.g;h=3c191d41722a1dcd6cc935bc34b50cdad8b97025;hp=e5a17b5811965c7a047f4cb00fb49bb9134819ca;hb=ba93ca53361ed2f7e542ab78fcb3df86597dd9e5;hpb=d5c3c362cd2cf6780d5bbf8a8f945de768a16503 diff --git a/tests/meta.g b/tests/meta.g index e5a17b5..3c191d4 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -6,46 +6,50 @@ r ::= word ^"::=" alternatives /ws ec ::= [~\]\\\-\~] | escaped -alternatives ::= EquiAlt +/ (ws ">" ws) -EquiAlt ::= Conjuncts +/ "|" => "alternatives" +alternatives ::= equiAlt +/ (ws ">" ws) +equiAlt ::= conjuncts +/ (ws "|" ws) => "alternatives" sequence ::= Es - > Es ^"/" E /ws -Es ::= E+ -//es ::= E+/ws + > 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 | sequence ^"=>" quoted /ws | sequence "=>" "()" /ws => "wrap" -range ::= ec => "range0" | ec ^"-" ec => "range0" -E ::= word => "nonTerminalY" +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" @@ -57,3 +61,5 @@ quoted ::= "\"" ([~\"\\] | escaped)* "\"" => "sify" escaped ::= "\\n" => "\n" | "\\r" => "\r" | "\\" [~nr] + +