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

Filled in getVarSpec, to record the variables read from and written to in specifications

Browse Source
This commit is contained in:
Neil Brown 2008-06-07 20:30:24 +00:00
parent e39ebf5962
commit c711dcd7fe
1 changed files with 18 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
checks/UsageCheckUtils.hs
View File

@ -207,7 +207,24 @@ getVarExp = everything unionVars (emptyVars `mkQ` getVarExp')
getVarExp' _ = emptyVars
getVarSpec :: A.Specification -> Vars
getVarSpec = const emptyVars -- TODO
getVarSpec (A.Specification _ n st) = get st
where
dv = A.Variable (A.nameMeta n) n
get :: A.SpecType -> Vars
get (A.Is _ am _ v) = abbrev am v
get (A.IsExpr _ _ _ e) = getVarExp e `unionVars` processVarW dv (Just e)
get (A.IsChannelArray _ _ vs) = vars vs' ((Var dv,Nothing):(zip vs' $ repeat Nothing)) []
where
vs' = map Var vs
get (A.Retypes _ am _ v) = abbrev am v
get (A.RetypesExpr _ _ _ e) = getVarExp e `unionVars` processVarW dv (Just e)
get _ = emptyVars
abbrev :: A.AbbrevMode -> A.Variable -> Vars
abbrev A.Abbrev v = vars [Var v] [(Var v, Nothing), (Var dv, Just $ A.ExprVariable (findMeta v) v)] []
abbrev _ v = processVarR v `unionVars` processVarW dv
(Just $ A.ExprVariable (findMeta v) v)
getDecl :: (String -> Decl) -> A.Specification -> Maybe Decl
getDecl _ _ = Nothing -- TODO