X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fmeta.g;h=638fa71a19a21366e750b497ea9c13703e460d62;hp=956711b881f136c5f0abbcc4abec875fc52aebf3;hb=1d5f76f8144b739719737bfe75f321caf67cfa19;hpb=1eea118232a2c1da8228033ed876bc0b3b49c592 diff --git a/tests/meta.g b/tests/meta.g index 956711b..638fa71 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -1,35 +1,38 @@ -s = ws! Grammar ws! +//funkanomitron +s = ws Grammar ws -Grammar = NonTerminal +/ ws +Grammar:: = Declaration +/ ws -NonTerminal = Word "=" RHS /ws +Declaration = NonTerminal + | ^"#import" FileName /ws + | ^"#import" FileName "as" Word /ws -// use 'a'-'z' or 'a-z' instead of [a-z]? -// EOF token? -// #include (with renaming?) - -RHS = (Sequence +/ (ws! "|" ws!)) +/ (ws! ">" ws!) +FileName:: = (~[\r\n ] | escaped)+ -> [\r\n ] -Elements = e*/ws +NonTerminal = NonTerminal:: Word ws "=" ws RHS + | DropNT:: Word "!" ws "=" ws RHS + | Colons:: Word "::" ws "=" ws RHS + | Word "*" ws ^"=" ws RHS + | Word "*/" Word ws ^"=" ws RHS + +RHS:: = ("|":: Sequence +/ (ws "|" ws)) +/ (ws ">" ws) -PreSequence = Elements - | (Quoted|Word) ^"::" PreSequence /ws - > PreSequence ^"/" e /ws - | PreSequence ^"->" e /ws +Elements:: = e*/ws -Sequence = psx:: PreSequence - | Sequence ^"&" Elements /ws - | Sequence ^"&~" Elements /ws +PreSequence = Elements + | (Quoted|Word) ^"::" PreSequence /ws + > PreSequence ^"/" e /ws + | PreSequence ^"->" e /ws -ec = ~[\-\]\\] - | escaped - -Range = ec - | ec ^"-" ec +Sequence = PreSequence + | Sequence ^"&" Elements /ws + | ^"~~" Elements /ws + | Sequence ^"&~" Elements /ws -e = (Quoted|Word) ^":" e - > NonTerminalReference - | Literal +e = e ^"!" + > (Quoted|Word) ^":" e + > NonTerminalReference:: Word + | Literal:: Quoted | ^"()" | ^"{" PreSequence "}" /ws | ^"[" Range* "]" @@ -41,23 +44,28 @@ e = (Quoted|Word) ^":" e | e ^"*" /ws -> ~[*] | e ^"**/" e /ws | e ^"*/" e /ws - | e ^"!" | e ^"?" /ws | ^"^" Quoted + | ^"`" e + | ^"..." + | "(" Word ^")" > ^"(" RHS ")" /ws - | ^"~" e - -NonTerminalReference = Word -Literal = Quoted -Word = [a-zA-Z0-9_]++ -Quoted = "\"" ((~[\"\\] | escaped)+) "\"" - | "":: "\"\"" - -escaped = "\n":: "\\n" - | "\r":: "\\r" - | "\\" ~[nr] - -w = " " | "\n" | "\r" -ws = "()":: w** - | "()":: w** "//" (~[\n])* "\n" ws -wp = w++ + | "~":: ("~" -> ~"~")! e + | ^"\\{" + | ^"\\}" + +Word:: = [.a-zA-Z0-9_]++ &~ "."+ +Quoted:: = "\"" (~[\"\\] | escaped)+ "\"" + | "\"\"" + +Range:: = ec + | ec "-" ec + +ec = ~[\-\]\\] + | escaped +escaped = "\n":: "\\n" + | "\r":: "\\r" + | "\\" ~[nr] + +ws! = [ \r\n]** + | [ \r\n]** "//" ~[\n]* "\n" ws