Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- getLocation :: Data a => SymbolTable -> Expression (Analysis a) -> Maybe Location
- generateLinearizedIndexRange :: [Int] -> Int -> [(Int, Int)] -> Int -> Range
- getStartLocation :: Data a => SymbolTable -> Expression (Analysis a) -> Location
Documentation
getLocation :: Data a => SymbolTable -> Expression (Analysis a) -> Maybe Location Source #
Given a SymbolTable
and some Expression
(which is assumed to have been predetermined
to be of some variable type), return the Location
that the variable in question will be
located in memory
generateLinearizedIndexRange :: [Int] -> Int -> [(Int, Int)] -> Int -> Range Source #
Given only single indices return the Range
in memory that
these indices point to.
getStartLocation :: Data a => SymbolTable -> Expression (Analysis a) -> Location Source #
Given a SymbolTable
and some Expression
(which is assumed to have been
predetermined to be of some variable type), return the start Location
that
the variable in question will be located in memory.
Start Location
is the begining of greater data structure that a variable
belongs to e.g. start Location
of c(20) is Location
of c