Camfort.Functionality

Contents

• Datatypes
• Commands
  • Stencil Analysis
  • Unit Analysis
  • Refactorings

Synopsis

• data AnnotationType
  • = ATDefault
  • | Doxygen
  • | Ford
• ast :: FileOrDir -> [Filename] -> IO ()
• countVarDecls :: [Char] -> [Filename] -> IO ()
• stencilsCheck :: [Char] -> [Filename] -> IO ()
• stencilsInfer :: [Char] -> [Filename] -> InferMode -> IO ()
• stencilsSynth :: [Char] -> [Filename] -> InferMode -> AnnotationType -> FileOrDir -> IO ()
• unitsCriticals :: [Char] -> [Filename] -> LiteralsOpt -> Bool -> Maybe String -> IO ()
• unitsCheck :: [Char] -> [Filename] -> LiteralsOpt -> Bool -> Maybe String -> IO ()
• unitsInfer :: [Char] -> [Filename] -> LiteralsOpt -> Bool -> Maybe String -> IO ()
• unitsSynth :: [Char] -> [Filename] -> LiteralsOpt -> Bool -> Maybe String -> FileOrDir -> AnnotationType -> IO ()
• unitsCompile :: [Char] -> [Filename] -> LiteralsOpt -> Bool -> Maybe String -> FileOrDir -> IO ()
• common :: [Char] -> [Filename] -> FileOrDir -> IO ()
• dead :: [Char] -> [Filename] -> FileOrDir -> IO ()
• equivalences :: [Char] -> [Filename] -> FileOrDir -> IO ()

Datatypes

Commands

Stencil Analysis

Unit Analysis

Refactorings