| 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, HetCASL files as much as is needed for the static analysis
- 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 -> Maybe String -> FilePath -> IO (Either String (Maybe String, Maybe String, FilePath, String))
- showFileType :: HetcatsOpts -> FilePath -> IO ()
- keepOrigClifName :: HetcatsOpts -> FilePath -> FilePath -> FilePath
Documentation
findFileOfLibNameAux :: HetcatsOpts -> FilePath -> IO (Maybe FilePath)
libNameToFile :: LibName -> FilePath
create a file name without suffix from a library name
fileToLibName :: HetcatsOpts -> FilePath -> LibName
convert a file name that may have a suffix to a library name
readVerbose :: ShATermLG a => LogicGraph -> HetcatsOpts -> Maybe LibName -> FilePath -> IO (Maybe a)
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 -> Maybe String -> FilePath -> IO (Either String (Maybe String, Maybe String, FilePath, String))
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 ()
keepOrigClifName :: HetcatsOpts -> FilePath -> FilePath -> FilePath