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

Fixed the tests for parsing time-related stuff in Rain to match the recent changes

Browse Source
This commit is contained in:
Neil Brown 2008-03-24 14:27:46 +00:00
parent cbbafffbd2
commit eb50c010b2
1 changed files with 15 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
frontends/ParseRainTest.hs
View File

@ -636,12 +636,12 @@ testAlt =
,A.Only m $ A.AlternativeSkip m (A.True m) emptyBlock]) ,A.Only m $ A.AlternativeSkip m (A.True m) emptyBlock])
,passAlt (100, "pri alt { wait for t {} }", A.Alt m True $ A.Several m [ ,passAlt (100, "pri alt { wait for t {} }", A.Alt m True $ A.Several m [
A.Only m $ A.AlternativeWait m A.WaitFor (exprVariable "t") emptyBlock]) A.Only m $ A.Alternative m timer (A.InputTimerFor m $ exprVariable "t") emptyBlock])
,passAlt (101, "pri alt { wait for t {} wait until t {} }", A.Alt m True $ A.Several m [ ,passAlt (101, "pri alt { wait for t {} wait until t {} }", A.Alt m True $ A.Several m [
A.Only m $ A.AlternativeWait m A.WaitFor (exprVariable "t") emptyBlock A.Only m $ A.Alternative m timer (A.InputTimerFor m $ exprVariable "t") emptyBlock
,A.Only m $ A.AlternativeWait m A.WaitUntil (exprVariable "t") emptyBlock]) ,A.Only m $ A.Alternative m timer (A.InputTimerAfter m $ exprVariable "t") emptyBlock])
,passAlt (102, "pri alt { wait until t + t {} else {} }", A.Alt m True $ A.Several m [ ,passAlt (102, "pri alt { wait until t + t {} else {} }", A.Alt m True $ A.Several m [
A.Only m $ A.AlternativeWait m A.WaitUntil (buildExpr $ Dy (Var "t") A.Plus (Var "t")) emptyBlock A.Only m $ A.Alternative m timer (A.InputTimerAfter m (buildExpr $ Dy (Var "t") A.Plus (Var "t"))) emptyBlock
,A.Only m $ A.AlternativeSkip m (A.True m) emptyBlock]) ,A.Only m $ A.AlternativeSkip m (A.True m) emptyBlock])
@ -668,6 +668,7 @@ testAlt =
] ]
where where
timer = A.Variable m RP.rainTimerName
passAlt :: (Int, String, A.Process) -> ParseTest A.Process passAlt :: (Int, String, A.Process) -> ParseTest A.Process
passAlt (ind, input, exp) = pass (input, RP.statement, assertPatternMatch ("testAlt " ++ show ind) (pat exp)) passAlt (ind, input, exp) = pass (input, RP.statement, assertPatternMatch ("testAlt " ++ show ind) (pat exp))
@ -690,19 +691,25 @@ testRun =
testTime :: [ParseTest A.Process] testTime :: [ParseTest A.Process]
testTime = testTime =
[ [
pass ("now t;",RP.statement, assertPatternMatch "testTime 0" $ tag2 A.GetTime DontCare (variablePattern "t")) pass ("now t;",RP.statement, assertPatternMatch "testTime 0" $
mInput timer $ mInputTimerRead (mInVariable $ variablePattern "t"))
,fail ("now t",RP.statement) ,fail ("now t",RP.statement)
,fail ("now ;",RP.statement) ,fail ("now ;",RP.statement)
,fail ("now t + t;",RP.statement) ,fail ("now t + t;",RP.statement)
,pass ("wait for t;",RP.statement, assertPatternMatch "testTime 1" $ tag3 A.Wait DontCare A.WaitFor (exprVariablePattern "t")) ,pass ("wait for t;",RP.statement, assertPatternMatch "testTime 1" $
,pass ("wait until t;",RP.statement, assertPatternMatch "testTime 2" $ tag3 A.Wait DontCare A.WaitUntil (exprVariablePattern "t")) mInput timer $ mInputTimerFor (exprVariablePattern "t"))
,pass ("wait until t + t;",RP.statement, assertPatternMatch "testTime 3" $ tag3 A.Wait DontCare A.WaitUntil $ buildExprPattern $ Dy (Var "t") A.Plus (Var "t")) ,pass ("wait until t;",RP.statement, assertPatternMatch "testTime 2" $
mInput timer $ mInputTimerAfter (exprVariablePattern "t"))
,pass ("wait until t + t;",RP.statement, assertPatternMatch "testTime 3" $
mInput timer $ mInputTimerAfter $ buildExprPattern $ Dy (Var "t") A.Plus (Var "t"))
,fail ("waitfor t;",RP.statement) ,fail ("waitfor t;",RP.statement)
,fail ("waituntil t;",RP.statement) ,fail ("waituntil t;",RP.statement)
,fail ("wait for t",RP.statement) ,fail ("wait for t",RP.statement)
,fail ("until t;",RP.statement) ,fail ("until t;",RP.statement)
] ]
where
timer = mVariable RP.rainTimerName
--Returns the list of tests: --Returns the list of tests:
tests :: Test tests :: Test