Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- programUnitModel :: Data a => ProgramUnit (Analysis a) -> ProgramUnitModel
- programFileModel :: Data a => ProgramFile (Analysis a) -> ProgramFileModel
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