suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rain: added tests for parsing wait guards

Browse Source
This commit is contained in:
Neil Brown 2007-09-26 23:34:42 +00:00
parent be676060b9
commit cbd2d04371
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
frontends/ParseRainTest.hs
View File

@ -568,6 +568,15 @@ testAlt =
A.OnlyA m $ A.Alternative m (variable "c") (A.InputSimple m [A.InVariable m (variable "x")]) emptyBlock
,A.OnlyA m $ A.AlternativeSkip m (A.True m) emptyBlock])
,pass("pri alt { wait for t {} }", RP.statement, assertEqual "testAlt 100" $ A.Alt m True $ A.Several m [
A.OnlyA m $ A.AlternativeWait m A.WaitFor (exprVariable "t") emptyBlock])
,pass("pri alt { wait for t {} wait until t {} }", RP.statement, assertEqual "testAlt 101" $ A.Alt m True $ A.Several m [
A.OnlyA m $ A.AlternativeWait m A.WaitFor (exprVariable "t") emptyBlock
,A.OnlyA m $ A.AlternativeWait m A.WaitUntil (exprVariable "t") emptyBlock])
,pass("pri alt { wait until t + t {} else {} }", RP.statement, assertEqual "testAlt 102" $ A.Alt m True $ A.Several m [
A.OnlyA m $ A.AlternativeWait m A.WaitUntil (buildExpr $ Dy (Var "t") A.Plus (Var "t")) emptyBlock
,A.OnlyA m $ A.AlternativeSkip m (A.True m) emptyBlock])
,fail("pri {}",RP.statement)
@ -585,6 +594,11 @@ testAlt =
,fail("pri alt { d ? y {} else {} c ? x {} }",RP.statement)
,fail("pri alt { else {} else {} }",RP.statement)
,fail("pri alt { d ? y {} else {} c ? x {} else {} }",RP.statement)
,fail("pri alt { wait for {} }",RP.statement)
,fail("pri alt { wait until t; {} }",RP.statement)
,fail("pri alt { wait t {} }",RP.statement)
,fail("pri alt { for t {} }",RP.statement)
]
testRun :: [ParseTest A.Process]