3c191d41722a1dcd6cc935bc34b50cdad8b97025
[sbp.git] / tests / meta.g
1 s         ::=  ws grammar ws                  => "gram"
2 ws       !::=  w**
3 grammar   ::=  r+/ws => "grammar"
4 r         ::=  word  ^"::=" alternatives /ws
5             |  word ^"!::=" alternatives /ws
6
7 ec        ::=  [~\]\\\-\~] | escaped
8
9 alternatives  ::=  equiAlt   +/ (ws ">" ws)
10 equiAlt       ::=  conjuncts +/ (ws "|" ws)          => "alternatives"
11
12 sequence    ::= Es
13               > Es ^"/" e  /ws
14 Es          ::= e+
15 es          ::= e+/ws
16
17
18 conjuncts   ::=  rewrite
19               |  rewrite ^"&"  sequence   /ws
20               |  rewrite ^"&~" sequence   /ws
21
22 rewrite  ::=  sequence                  /ws        => "rewrite"
23            |  sequence ^"=>" word       /ws
24            |  sequence ^"=>" quoted     /ws
25            |  sequence  "=>" "()"       /ws        => "wrap"
26
27 range    ::= ec          => "range0"
28            | ec ^"-" ec  => "range0"
29
30 e        ::= word                             => "nonTerminalY"
31            |    [(][)] => "epsilon"
32            |    ^"{" alternatives "}"   /ws
33            |     "[" [\~]?  range* "]"        => "range"
34            |  e ^"+/" e                 /ws
35            |  e ^"%%" e                 /ws
36            |  e ^"$$" e                 /ws
37            |  e ^"?"                    /ws
38            |  e ^"~/~"                  /ws
39
40            |  e ^"-"  e                 /ws
41
42            |    ^"!" e                  /ws
43            |     "^" quoted             /ws => "care"
44            |    ^"`" e                  /ws
45            |  e ^"#"                    /ws
46            |  quoted                        => "literal"
47
48            |  (e ws ^"**" > e ws ^"*")
49            |  (e ws ^"++" > e ws ^"+")
50
51            |     "(" word ^")"          /ws
52            >    ^"(" alternatives ")"   /ws
53
54 w       !::= " "
55            | "//" [~\n]* "\n"
56            | "\n"
57            | "\r"
58 an       ::= [a-zA-Z0-9_]
59 word     ::= an++                           => "sify"
60 quoted   ::= "\"" ([~\"\\] | escaped)* "\"" => "sify"
61 escaped  ::= "\\n" => "\n"
62            | "\\r" => "\r"
63            | "\\" [~nr]
64
65