X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fregression.tc;h=863b62ec262e8087af237093c78926bac62324e9;hp=0dd485332e57f795ad3f092c039d19baff563aab;hb=242a8711e98cbd3ed6d05271bf910fde38e9be9a;hpb=39179e9fe5c616bbe38282bc06ecfa6e15916346 diff --git a/tests/regression.tc b/tests/regression.tc index 0dd4853..863b62e 100644 --- a/tests/regression.tc +++ b/tests/regression.tc @@ -19,13 +19,30 @@ // s ::= () => s0 //} +tibcase { + input +" + hello + there + how + { are } +"; + output "yep:{are}"; + + s ::= { Hello } => "yep" + w ::= " " | "\n" + ws !::= w** + Hello ::= "hello" ws { "there" "how" { "are" } } +} + + testcase { input "ab c"; output "1:{{a b} {c}}"; s ::= ids - ids ::= id (" " ids &~ id [~]*) => "1" - | id ( ids &~ id [~]*) => "2" + ids ::= id (" " ids &~ id ~[]*) => "1" + | id ( ids &~ id ~[]*) => "2" | id id ::= [a-z]++ } @@ -45,11 +62,11 @@ testcase { testcase { input "aaabbbccc"; - output ""; + output "ab"; s ::= ab & dc - ab ::= a b - dc ::= d c + ab ::= a b => ab + dc ::= d c => dc a ::= "a" a | () b ::= "b" b "c" | () c ::= "c" c | () @@ -60,8 +77,8 @@ testcase { input "aaabbbbccc"; s ::= ab & dc - ab !::= a b - dc !::= d c + ab !::= a b => ab + dc !::= d c => dc a ::= "a" a | () b ::= "b" b "c" | () c ::= "c" c | () @@ -91,7 +108,7 @@ testcase { testcase { input "xbambambam"; - output "bam:{a bam:{a bam:{a x}}}"; + output "bam:{a bam:{a bam:{a x:{x}}}}"; s ::= a s ^"bam" s ::= ^"x" @@ -218,7 +235,7 @@ testcase { l ::= id s ::= l "=" r => "assign" | r - R ::= l + r ::= l | l "=" r => "assign" | r "+" r => "plus" | (r) "*" r => "times" @@ -267,28 +284,29 @@ testcase { indent !::= ww outdent !::= " " outdent " " - | " " [~]* "\n" + | " " (~[]*) "\n" -any !::= [~]* -s ::= !any "\n\n" !ww Statement !ww "\n\n" !any => smt -ww ::= sp* +any !::= ~[]* +s ::= any "\n\n" ww statement ww "\n\n" any => smt +ww !::= sp* +ws !::= sp** sp ::= " " -block ::= "\n" !indent BlockBody - &~ "\n" outdent [~\ ] [~]* +block ::= "\n" indent blockBody + &~ "\n" outdent ~[\ ] ~[]* -BlockBody ::= Statement - > Statement BlockBody => "sbb" +blockBody ::= statement + > statement blockBody /ws => "sbb" -Statement ::= Call - | ^"while" Expr block +statement ::= call + | ^"while" expr block /ws -Expr ::= ident - | Call - | Expr ^">" Expr +expr ::= ident + | call + | expr ^">" expr /ws | num -Call ::= Expr "()" +call ::= expr "()" /ws num ::= [0-9]++ @@ -300,3 +318,12 @@ 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