Safe Haskell	None
Language	Haskell2010

Tokstyle.C.Analysis.Access

Description

Accesses to memory through variables, and how far into it they reach.

Synopsis

data Access = Access {
- accBuffer :: String
- accTerms :: [(Integer, Term)]
- accConst :: Integer
- accBy :: AccessBy
}
data AccessBy
- = ByElement CExpr
- | ByCall String
accesses :: Program -> Term -> [Access]
changedNames :: CStat -> Set String

Documentation

data Access Source #

An access through a variable: the variable, the terms, each times a coefficient, and the constant whose sum is how far the access reaches, and what makes it.

Constructors

Access
Fields accBuffer :: String accTerms :: [(Integer, Term)] accConst :: Integer accBy :: AccessBy

data AccessBy Source #

Constructors

ByElement CExpr
ByCall String

accesses :: Program -> Term -> [Access] Source #

The accesses a term makes, in calls to the functions in progReaches and the library's.

changedNames :: CStat -> Set String Source #

The variables a function body changes or takes the address of.