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

Language.Fortran.Vars

Synopsis

Documentation

programUnitModel :: Data a => ProgramUnit (Analysis a) -> ProgramUnitModel Source #

Given a ProgramUnit, generate a ProgramUnitModel that contains not only a SymbolTable for the non-intrinsic symbols in the unit, but also a StorageTable that determines the locations that non-constant, non-parameter variables will be allocated

programFileModel :: Data a => ProgramFile (Analysis a) -> ProgramFileModel Source #

Given a ProgramFile, generate a ProgramFileModel for each ProgramUnit in the file that contains not only a SymbolTable for the non-intrinsic symbols in the unit, but also a StorageTable that determines the locations that non-constant, non-parameter variables will be allocated