Camfort.Input

Documentation

class Default t where

Minimal complete definition

defaultValue

Methods

defaultValue :: t

Instances

Default InferMode

Methods

defaultValue :: InferMode

getOption :: forall t opt. (Data opt, Data t, Default opt) => [t] -> opt

Builders for analysers and refactorings

doAnalysisSummary :: (Monoid s, Show' s) => (Filename -> ProgramFile A -> (s, ProgramFile A)) -> FileOrDir -> [Filename] -> Maybe FileOrDir -> IO ()

Performs an analysis provided by its first parameter which generates information s, which is then combined together (via a monoid)

callAndSummarise :: (Monoid a, Foldable t) => (t1 -> t3 -> (a, a1)) -> t (t1, t2, t3) -> (a, [a1])

doAnalysisReport :: ([(Filename, ProgramFile A)] -> r) -> (r -> IO out) -> FileOrDir -> [Filename] -> IO out

Performs an analysis which reports to the user, but does not output any files

doRefactor :: ([(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile A)])) -> FileOrDir -> [Filename] -> FileOrDir -> IO String

Performs a refactoring provided by its first parameter, on the directory of the second, excluding files listed by third, output to the directory specified by the fourth parameter

doRefactorAndCreate :: ([(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile A)], [(Filename, ProgramFile A)])) -> FileOrDir -> [Filename] -> FileOrDir -> IO String

reassociateSourceText :: [(Filename, SourceText, a)] -> [(Filename, ProgramFile Annotation)] -> [(Filename, SourceText, ProgramFile Annotation)]

Source directory and file handling

Source directory and file handling

readParseSrcDir :: FileOrDir -> [Filename] -> IO [(Filename, SourceText, ProgramFile A)]

readParseSrcFile :: Filename -> IO (Filename, SourceText, ProgramFile A)

Read a specific file, and parse it

rGetDirContents :: FileOrDir -> IO [String]

isFortran :: [Char] -> Bool

predicate on which fileextensions are Fortran files

fileExt :: [Char] -> [Char]

extract a filename's extension

flexReadFile :: String -> IO ByteString

Read file using ByteString library and deal with any weird characters.