tests/meta.g

   1 s           ::=  Grammar ws                  => "gram"
   2 Grammar     ::=  NonTerminal +/ ws           => "grammar"
   3 NonTerminal ::=  word  ^"::=" RHS /ws
   4
   5 w        ::= " " | "\n" | "\r"
   6 ws        ::=  w** => ()
   7             |  w** "//" (~[\n]*) "\n" ws => ()
   8 wp        ::=  w++
   9
  10 RHS        ::=  (Conjuncts +/ (!ws "|" !ws)) +/ (!ws ">" !ws)
  11
  12 Conjuncts  ::=  Sequence
  13              |  Sequence ^"&"  e*/ws   /ws
  14              |  Sequence ^"&~" e*/ws   /ws
  15
  16 ps         ::= e*/ws                              => "ps"
  17              | (e+/ws !ws)? ^"^" Quoted (!ws e+/ws)?
  18 psy        ::= ps
  19              | ps !wp ^"/" !ws e
  20 psx        ::= psy                   => "psy"
  21              | psy ^"->" e /ws
  22 Sequence   ::= Quoted => "qprod"
  23              > psx => "psx"
  24              | psx  "=>" ^"[]"         /ws
  25              | psx ^"=>" ("()"|word|Quoted) /ws
  26
  27 ec       ::= ~[\-\]\\]
  28            | escaped
  29
  30 Range    ::= ec          => "range"
  31            | ec ^"-" ec
  32
  33 e        ::=  word                          => "nonTerminal"
  34            |  Quoted                        => "literal"
  35            |    ^"()"
  36            |    ^"{" Sequence "}"       /ws
  37            |    ^"["  Range* "]"
  38
  39            |  (e ^"++"    /ws > e ^"+"    /ws)
  40            |  (e ^"++/" e /ws > e ^"+/" e /ws)
  41            |  (e ^"**"    /ws > e ^"*"    /ws)
  42            |  (e ^"**/" e /ws > e ^"*/" e /ws)
  43            |  ^"!" e                    /ws
  44            |  e ^"?"                    /ws
  45
  46            |     "(" word         ^")"  /ws
  47            >    ^"(" RHS  ")"           /ws
  48            |    ^"~" e
  49
  50 word     ::= [a-zA-Z0-9_]++
  51 Quoted   ::= "\"" ((~[\"\\] | escaped)+) "\""
  52            | "\"\"" => ""
  53 escaped  ::= "\\n" => "\n"
  54            | "\\r" => "\r"
  55            | "\\" ~[nr]
  56
  57