| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Fortran.Vars.MemoryLocation
Synopsis
- getLocation :: Data a => SymbolTable -> Expression (Analysis a) -> Maybe Location
- generateLinearizedIndexRange :: (Functor t, Foldable t) => [Int] -> Int -> t (Dim 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 :: (Functor t, Foldable t) => [Int] -> Int -> t (Dim 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