Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- processEquivalence :: Data a => [Statement (Analysis a)] -> ProgramUnitModel -> ProgramUnitModel
Documentation
processEquivalence :: Data a => [Statement (Analysis a)] -> ProgramUnitModel -> ProgramUnitModel Source #
Given a list of all the Statement
s in the program and a ProgramUnitModel
, produce a new
ProgramUnitModel
that accounts for any of the FORTRAN equivalences that were found in the
ProgramUnit