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

Rain: added tests for parsing variable declarations

Browse Source
This commit is contained in:
Neil Brown 2007-08-23 11:37:47 +00:00
parent 23650da2ff
commit 1bc92b0b37
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
RainParse.hs
View File

@ -245,6 +245,9 @@ tupleDef = do {sLeftR ; tm <- sepBy tupleDefMember sComma ; sRightR ; return tm}
tupleDefMember :: RainParser (A.Name,A.Type)
tupleDefMember = do {t <- dataType ; sColon ; n <- name ; return (n,t)}
declaration :: RainParser (A.Structured -> A.Structured)
declaration = return id
topLevelDecl :: RainParser A.Structured
topLevelDecl = do {m <- sProcess ; procName <- name ; params <- tupleDef ; body <- block ;
return $ A.Spec m

22
RainParseTest.hs
View File

@ -251,6 +251,27 @@ testDataType =
,fail ("bool!",RP.dataType)
,fail ("int?int",RP.dataType)
]
testDecl :: [ParseTest (A.Structured -> A.Structured)]
testDecl =
[
passd ("bool: b;",0,tag3 A.Specification DontCare (simpleNamePattern "b") $ tag2 A.Declaration DontCare A.Bool)
,passd ("uint8: x;",0,tag3 A.Specification DontCare (simpleNamePattern "x") $ tag2 A.Declaration DontCare A.Byte)
,passd ("?bool: bc;",0,tag3 A.Specification DontCare (simpleNamePattern "bc") $ tag2 A.Declaration DontCare $ A.Chan A.DirInput nonShared A.Bool)
,fail ("bool:;",RP.declaration)
,fail ("bool;",RP.declaration)
,fail (":b;",RP.declaration)
,fail ("bool:b",RP.declaration)
,fail ("bool b",RP.declaration)
,fail ("bool b;",RP.declaration)
,fail ("bool:?b;",RP.declaration)
]
where
passd :: (String,Int,Pattern) -> ParseTest (A.Structured -> A.Structured)
passd (code,index,exp) = pass(code,RP.declaration,check ("testDecl " ++ (show index)) exp)
check :: String -> Pattern -> (A.Structured -> A.Structured) -> Assertion
check msg spec act = assertPatternMatch msg (tag3 A.Spec DontCare spec $ A.Several m []) (act $ A.Several m [])
testComm :: [ParseTest A.Process]
testComm =
@ -279,6 +300,7 @@ tests = TestList
parseTests testAssign,
parseTests testDataType,
parseTests testComm,
parseTests testDecl,
parseTests testTopLevelDecl
]
--TODO test: