Safe Haskell | None |
---|---|
Language | Haskell2010 |
Jikka.RestrictedPython.Language.VariableAnalysis
Synopsis
- newtype ReadList = ReadList [VarName]
- newtype WriteList = WriteList [VarName]
- haveWriteReadIntersection :: WriteList -> ReadList -> Bool
- analyzeExpr :: Expr' -> ReadList
- analyzeTargetRead :: Target' -> ReadList
- analyzeTargetWrite :: Target' -> WriteList
- analyzeStatementGeneric :: Bool -> Statement -> (ReadList, WriteList)
- analyzeStatementsGeneric :: Bool -> [Statement] -> (ReadList, WriteList)
- analyzeStatementMax :: Statement -> (ReadList, WriteList)
- analyzeStatementsMax :: [Statement] -> (ReadList, WriteList)
- analyzeStatementMin :: Statement -> (ReadList, WriteList)
- analyzeStatementsMin :: [Statement] -> (ReadList, WriteList)
Documentation
Instances
Eq WriteList Source # | |
Ord WriteList Source # | |
Read WriteList Source # | |
Show WriteList Source # | |
analyzeExpr :: Expr' -> ReadList Source #
analyzeTargetRead :: Target' -> ReadList Source #
analyzeStatementMax :: Statement -> (ReadList, WriteList) Source #
analyzeStatementMax
returns lists of variables which are possibly read or written in given statements.
analyzeStatementMin :: Statement -> (ReadList, WriteList) Source #
analyzeStatementMin
returns lists of variables which are always read or written in given statements.