fortran-vars-0.3.0: Fortran memory model and other static analysis tools.
Safe HaskellNone
LanguageHaskell2010

Language.Fortran.Vars.Memory

Synopsis

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