camfort-1.2.0: CamFort - Cambridge Fortran infrastructure

Safe Haskell	Safe-Inferred
Language	Haskell2010

Camfort.Functionality

Contents

Datatypes
Commands

Synopsis

data AnnotationType
- = ATDefault
- | Doxygen
- | Ford
data CamfortEnv = CamfortEnv {
- ceInputSources :: FileOrDir
- ceIncludeDir :: Maybe FileOrDir
- ceExcludeFiles :: [Filename]
- ceLogLevel :: LogLevel
- ceSourceSnippets :: Bool
- ceFortranVersion :: Maybe FortranVersion
}
ast :: CamfortEnv -> IO ()
countVarDecls :: CamfortEnv -> IO Int
implicitNone :: Bool -> CamfortEnv -> IO Int
allocCheck :: CamfortEnv -> IO Int
fpCheck :: CamfortEnv -> IO Int
useCheck :: CamfortEnv -> IO Int
arrayCheck :: CamfortEnv -> IO Int
stencilsCheck :: CamfortEnv -> IO Int
stencilsInfer :: Bool -> CamfortEnv -> IO Int
stencilsSynth :: AnnotationType -> FileOrDir -> CamfortEnv -> IO Int
unitsCriticals :: LiteralsOpt -> CamfortEnv -> IO Int
unitsCheck :: LiteralsOpt -> CamfortEnv -> IO Int
unitsDump :: LiteralsOpt -> CamfortEnv -> IO Int
unitsInfer :: Bool -> LiteralsOpt -> CamfortEnv -> IO Int
unitsCompile :: LiteralsOpt -> CamfortEnv -> IO Int
unitsSynth :: AnnotationType -> FileOrDir -> LiteralsOpt -> CamfortEnv -> IO Int
invariantsCheck :: PrimReprOption -> CamfortEnv -> IO Int
common :: FileOrDir -> CamfortEnv -> IO Int
dead :: FileOrDir -> CamfortEnv -> IO Int
equivalences :: FileOrDir -> CamfortEnv -> IO Int
ddtRefactor :: FileOrDir -> CamfortEnv -> IO Int
ddtInfer :: CamfortEnv -> IO Int
ddtCheck :: CamfortEnv -> IO Int
ddtSynth :: AnnotationType -> FileOrDir -> CamfortEnv -> IO Int
ddtCompile :: CamfortEnv -> IO Int
camfortInitialize :: FilePath -> IO ()

Datatypes

data AnnotationType Source #

Constructors

ATDefault
Doxygen
Ford

data CamfortEnv Source #

Constructors

CamfortEnv
Fields ceInputSources :: FileOrDir ceIncludeDir :: Maybe FileOrDir ceExcludeFiles :: [Filename] ceLogLevel :: LogLevel ceSourceSnippets :: Bool ceFortranVersion :: Maybe FortranVersion

Commands

ast :: CamfortEnv -> IO () Source #

countVarDecls :: CamfortEnv -> IO Int Source #

implicitNone :: Bool -> CamfortEnv -> IO Int Source #

allocCheck :: CamfortEnv -> IO Int Source #

fpCheck :: CamfortEnv -> IO Int Source #

useCheck :: CamfortEnv -> IO Int Source #

arrayCheck :: CamfortEnv -> IO Int Source #

Stencil Analysis

stencilsCheck :: CamfortEnv -> IO Int Source #

stencilsInfer :: Bool -> CamfortEnv -> IO Int Source #

stencilsSynth :: AnnotationType -> FileOrDir -> CamfortEnv -> IO Int Source #

Unit Analysis

unitsCriticals :: LiteralsOpt -> CamfortEnv -> IO Int Source #

unitsCheck :: LiteralsOpt -> CamfortEnv -> IO Int Source #

unitsDump :: LiteralsOpt -> CamfortEnv -> IO Int Source #

unitsInfer :: Bool -> LiteralsOpt -> CamfortEnv -> IO Int Source #

unitsCompile :: LiteralsOpt -> CamfortEnv -> IO Int Source #

unitsSynth :: AnnotationType -> FileOrDir -> LiteralsOpt -> CamfortEnv -> IO Int Source #

Invariants Analysis

invariantsCheck :: PrimReprOption -> CamfortEnv -> IO Int Source #

Refactorings

common :: FileOrDir -> CamfortEnv -> IO Int Source #

dead :: FileOrDir -> CamfortEnv -> IO Int Source #

equivalences :: FileOrDir -> CamfortEnv -> IO Int Source #

ddtRefactor :: FileOrDir -> CamfortEnv -> IO Int Source #

ddtInfer :: CamfortEnv -> IO Int Source #

ddtCheck :: CamfortEnv -> IO Int Source #

ddtSynth :: AnnotationType -> FileOrDir -> CamfortEnv -> IO Int Source #

ddtCompile :: CamfortEnv -> IO Int Source #

Project Management

camfortInitialize :: FilePath -> IO () Source #

Initialize Camfort for the given project.