| Copyright | (c) Klaus Luettich C. Maeder Uni Bremen 2002-2014 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(Grothendieck) |
| Safe Haskell | None |
Driver.ReadFn
Description
reading and parsing ATerms, CASL, DOL files as much as is needed for the static analysis
Synopsis
- findFileOfLibNameAux :: HetcatsOpts -> FilePath -> IO (Maybe FilePath)
- libNameToFile :: LibName -> FilePath
- fileToLibName :: HetcatsOpts -> FilePath -> LibName
- readVerbose :: ShATermLG a => LogicGraph -> HetcatsOpts -> Maybe LibName -> FilePath -> IO (Maybe a)
- guessXmlContent :: Bool -> String -> Either String InType
- isDgXmlFile :: HetcatsOpts -> FilePath -> String -> Bool
- getContent :: HetcatsOpts -> FilePath -> IO (Either String (FilePath, String))
- getExtContent :: HetcatsOpts -> [String] -> FilePath -> IO (Either String (FilePath, String))
- fromShATermString :: ShATermLG a => LogicGraph -> String -> Result a
- getContentAndFileType :: HetcatsOpts -> FilePath -> IO (Either String (Maybe String, Maybe String, FileInfo, String))
- showFileType :: HetcatsOpts -> FilePath -> IO ()
- keepOrigClifName :: HetcatsOpts -> FilePath -> FilePath -> FilePath
Documentation
findFileOfLibNameAux :: HetcatsOpts -> FilePath -> IO (Maybe FilePath) Source #
libNameToFile :: LibName -> FilePath Source #
create a file name without suffix from a library name
fileToLibName :: HetcatsOpts -> FilePath -> LibName Source #
convert a file name that may have a suffix to a library name
readVerbose :: ShATermLG a => LogicGraph -> HetcatsOpts -> Maybe LibName -> FilePath -> IO (Maybe a) Source #
guessXmlContent :: Bool -> String -> Either String InType Source #
isDgXmlFile :: HetcatsOpts -> FilePath -> String -> Bool Source #
getContent :: HetcatsOpts -> FilePath -> IO (Either String (FilePath, String)) Source #
getExtContent :: HetcatsOpts -> [String] -> FilePath -> IO (Either String (FilePath, String)) Source #
fromShATermString :: ShATermLG a => LogicGraph -> String -> Result a Source #
getContentAndFileType :: HetcatsOpts -> FilePath -> IO (Either String (Maybe String, Maybe String, FileInfo, String)) Source #
output file type, checksum, real file name and file content. inputs are hets options, optional argument for the file program, and the library or file name.
showFileType :: HetcatsOpts -> FilePath -> IO () Source #
keepOrigClifName :: HetcatsOpts -> FilePath -> FilePath -> FilePath Source #