| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Fortran.Vars.Memory
Synopsis
- allocateMemoryBlocks :: SymbolTable -> StorageTable
- processCommon :: Data a => ProgramUnit (Analysis a) -> ProgramUnitModel -> ProgramUnitModel
- getTypeSize :: Type -> Int
Documentation
allocateMemoryBlocks :: SymbolTable -> StorageTable Source #
Given a SymbolTable, generate a StorageTable for the SymbolTable where
each symbol has been assinged to a MemoryBlock within the StorageTable so
long as it is not constant
processCommon :: Data a => ProgramUnit (Analysis a) -> ProgramUnitModel -> ProgramUnitModel Source #
Given a ProgramUnit and a ProgramUnitModel, resolve any commonly defined global
variables in the ProgramUnits to be the same in both memory and within the SymbolTable
getTypeSize :: Type -> Int Source #