X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fregression.tc;h=a2492864eb53bd14065ef9d8fd4f6c00e09eff40;hp=863b62ec262e8087af237093c78926bac62324e9;hb=72cc02d0f08922a98b9f2139e814b6c33b275a43;hpb=242a8711e98cbd3ed6d05271bf910fde38e9be9a diff --git a/tests/regression.tc b/tests/regression.tc index 863b62e..a249286 100644 --- a/tests/regression.tc +++ b/tests/regression.tc @@ -107,11 +107,12 @@ testcase { } testcase { - input "xbambambam"; + input "qxbambambam"; output "bam:{a bam:{a bam:{a x:{x}}}}"; - s ::= a s ^"bam" - s ::= ^"x" + s ::= "q" z + z ::= a z ^"bam" + z ::= ^"x" a ::= () => "a" } @@ -263,67 +264,67 @@ testcase { } testcase { - - input " - - - while x>0 - while y>0 - foo() - bar() - - while x>0 - while y>0 - foo() - bar() - - -"; - output "smt:{while:{>:{{x} {0}} while:{>:{{y} {0}} sbb:{{f o o} {b a r}}}}}"; - output "smt:{while:{>:{{x} {0}} sbb:{while:{>:{{y} {0}} {f o o}} {b a r}}}}"; - -indent !::= ww -outdent !::= " " outdent " " - | " " (~[]*) "\n" - -any !::= ~[]* -s ::= any "\n\n" ww statement ww "\n\n" any => smt -ww !::= sp* -ws !::= sp** -sp ::= " " - -block ::= "\n" indent blockBody - &~ "\n" outdent ~[\ ] ~[]* - -blockBody ::= statement - > statement blockBody /ws => "sbb" - -statement ::= call - | ^"while" expr block /ws - -expr ::= ident - | call - | expr ^">" expr /ws - | num - -call ::= expr "()" /ws - -num ::= [0-9]++ - -ident ::= [a-z]++ &~ keyword -keyword ::= "if" | "then" | "else" | "while" - -w ::= " " | "\n" | "\r" -ws ::= w* - - -} - -testcase { input "aa bb"; output "{q:{{a a}} q:{{b b}}}"; s ::= q */ ws ws ::= " "* q ::= [a-z]++ => "q" -} \ No newline at end of file +} + +//testcase { +// +// input " +// +// +// while x>0 +// while y>0 +// foo() +// bar() +// +// while x>0 +// while y>0 +// foo() +// bar() +// +// +//"; +// output "smt:{while:{>:{{x} {0}} while:{>:{{y} {0}} sbb:{{f o o} {b a r}}}}}"; +// output "smt:{while:{>:{{x} {0}} sbb:{while:{>:{{y} {0}} {f o o}} {b a r}}}}"; +// +//indent !::= ww +//outdent !::= " " outdent " " +// | " " (~[]*) "\n" +// +//any !::= ~[]* +//s ::= any "\n\n" ww statement ww "\n\n" any => smt +//ww !::= sp* +//ws !::= sp** +//sp ::= " " +// +//block ::= "\n" indent blockBody +// &~ "\n" outdent ~[\ ] ~[]* +// +//blockBody ::= statement +// > statement blockBody /ws => "sbb" +// +//statement ::= call +// | ^"while" expr block /ws +// +//expr ::= ident +// | call +// | expr ^">" expr /ws +// | num +// +//call ::= expr "()" /ws +// +//num ::= [0-9]++ +// +//ident ::= [a-z]++ &~ keyword +//keyword ::= "if" | "then" | "else" | "while" +// +//w ::= " " | "\n" | "\r" +//ws ::= w* +// +// +//}