Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data AnnotationType
- 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 CamfortEnv Source #
CamfortEnv | |
|
Commands
ast :: CamfortEnv -> IO () Source #
countVarDecls :: CamfortEnv -> IO Int Source #
implicitNone :: Bool -> CamfortEnv -> IO Int Source #
allocCheck :: 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
equivalences :: FileOrDir -> CamfortEnv -> IO Int Source #
ddtRefactor :: FileOrDir -> 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.