Jikka.CPlusPlus.Language.VariableAnalysis

Documentation

data ReadWriteList

Constructors

ReadWriteList

Fields

• readList :: Set VarName
• writeList :: Set VarName

Instances

Eq ReadWriteList

Defined in Jikka.CPlusPlus.Language.VariableAnalysis

Methods

(==) :: ReadWriteList -> ReadWriteList -> Bool

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

Ord ReadWriteList

Defined in Jikka.CPlusPlus.Language.VariableAnalysis

Methods

compare :: ReadWriteList -> ReadWriteList -> Ordering

(<) :: ReadWriteList -> ReadWriteList -> Bool

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

(>) :: ReadWriteList -> ReadWriteList -> Bool

(>=) :: ReadWriteList -> ReadWriteList -> Bool

max :: ReadWriteList -> ReadWriteList -> ReadWriteList

min :: ReadWriteList -> ReadWriteList -> ReadWriteList

Read ReadWriteList

Defined in Jikka.CPlusPlus.Language.VariableAnalysis

Methods

readsPrec :: Int -> ReadS ReadWriteList

readList :: ReadS [ReadWriteList]

readPrec :: ReadPrec ReadWriteList

readListPrec :: ReadPrec [ReadWriteList]

Show ReadWriteList

Defined in Jikka.CPlusPlus.Language.VariableAnalysis

Methods

showsPrec :: Int -> ReadWriteList -> ShowS

show :: ReadWriteList -> String

showList :: [ReadWriteList] -> ShowS

Semigroup ReadWriteList

Defined in Jikka.CPlusPlus.Language.VariableAnalysis

Methods

(<>) :: ReadWriteList -> ReadWriteList -> ReadWriteList

sconcat :: NonEmpty ReadWriteList -> ReadWriteList

stimes :: Integral b => b -> ReadWriteList -> ReadWriteList

Monoid ReadWriteList

Defined in Jikka.CPlusPlus.Language.VariableAnalysis

Methods

mempty :: ReadWriteList

mappend :: ReadWriteList -> ReadWriteList -> ReadWriteList

mconcat :: [ReadWriteList] -> ReadWriteList

readVariable :: VarName -> ReadWriteList

writeVariable :: VarName -> ReadWriteList

analyzeExpr :: Expr -> ReadWriteList

analyzeLeftExpr :: LeftExpr -> ReadWriteList

analyzeAssignExpr :: AssignExpr -> ReadWriteList

analyzeStatement :: Statement -> ReadWriteList

analyzeStatements :: [Statement] -> ReadWriteList