camfort-0.804: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Units

Synopsis

Documentation

checkUnits :: UnitOpts -> (Filename, ProgramFile Annotation) -> (Report, (Filename, ProgramFile Annotation)) Source #

Check units-of-measure for a program

inferUnits :: UnitOpts -> (Filename, ProgramFile Annotation) -> (Report, (Filename, ProgramFile Annotation)) Source #

Check and infer units-of-measure for a program This produces an output of all the unit information for a program

synthesiseUnits :: UnitOpts -> (Filename, ProgramFile Annotation) -> (Report, (Filename, ProgramFile Annotation)) Source #

Synthesis unspecified units for a program (after checking)

inferCriticalVariables :: UnitOpts -> (Filename, ProgramFile Annotation) -> (Report, (Filename, ProgramFile Annotation)) Source #

Infer one possible set of critical variables for a program