Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich C. Maeder Uni Bremen 2002-2014
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Grothendieck)
Safe HaskellNone

Driver.ReadFn

Description

reading and parsing ATerms, CASL, DOL files as much as is needed for the static analysis

Synopsis

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 #

getContentAndFileType :: HetcatsOpts -> FilePath -> IO (Either String (Maybe String, Maybe String, FilePath, 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 #