Jikka.RestrictedPython.Language.VariableAnalysis

Documentation

newtype ReadList

Constructors

ReadList [VarName]

Instances

Eq ReadList

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

(==) :: ReadList -> ReadList -> Bool

(/=) :: ReadList -> ReadList -> Bool

Ord ReadList

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

compare :: ReadList -> ReadList -> Ordering

(<) :: ReadList -> ReadList -> Bool

(<=) :: ReadList -> ReadList -> Bool

(>) :: ReadList -> ReadList -> Bool

(>=) :: ReadList -> ReadList -> Bool

max :: ReadList -> ReadList -> ReadList

min :: ReadList -> ReadList -> ReadList

Read ReadList

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

readsPrec :: Int -> ReadS ReadList

readList :: ReadS [ReadList]

readPrec :: ReadPrec ReadList

readListPrec :: ReadPrec [ReadList]

Show ReadList

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

showsPrec :: Int -> ReadList -> ShowS

show :: ReadList -> String

showList :: [ReadList] -> ShowS

newtype WriteList

Constructors

WriteList [VarName]

Instances

Eq WriteList

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

(==) :: WriteList -> WriteList -> Bool

(/=) :: WriteList -> WriteList -> Bool

Ord WriteList

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

compare :: WriteList -> WriteList -> Ordering

(<) :: WriteList -> WriteList -> Bool

(<=) :: WriteList -> WriteList -> Bool

(>) :: WriteList -> WriteList -> Bool

(>=) :: WriteList -> WriteList -> Bool

max :: WriteList -> WriteList -> WriteList

min :: WriteList -> WriteList -> WriteList

Read WriteList

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

readsPrec :: Int -> ReadS WriteList

readList :: ReadS [WriteList]

readPrec :: ReadPrec WriteList

readListPrec :: ReadPrec [WriteList]

Show WriteList

Defined in Jikka.RestrictedPython.Language.VariableAnalysis

Methods

showsPrec :: Int -> WriteList -> ShowS

show :: WriteList -> String

showList :: [WriteList] -> ShowS

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)

analyzeStatementMax returns lists of variables which are possibly read or written in given statements.

analyzeStatementsMax :: [Statement] -> (ReadList, WriteList)

analyzeStatementMin :: Statement -> (ReadList, WriteList)

analyzeStatementMin returns lists of variables which are always read or written in given statements.

analyzeStatementsMin :: [Statement] -> (ReadList, WriteList)