| Copyright | (c) Klaus Luettich C.Maeder Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(DevGraph) |
| Safe Haskell | None |
Driver.WriteLibDefn
Description
Writing out DOL env files as much as is needed for the static analysis
Synopsis
- getFilePrefix :: HetcatsOpts -> FilePath -> (FilePath, FilePath)
- getFilePrefixGeneric :: [String] -> FilePath -> FilePath -> (FilePath, FilePath)
- writeLibDefn :: LogicGraph -> GlobalAnnos -> FilePath -> HetcatsOpts -> LIB_DEFN -> IO ()
- writeLibDefnLatex :: LogicGraph -> Bool -> GlobalAnnos -> FilePath -> LIB_DEFN -> IO ()
- toShATermString :: ShATermLG a => a -> IO String
- writeShATermFile :: ShATermLG a => FilePath -> a -> IO ()
- writeFileInfo :: ShATermLG a => HetcatsOpts -> LibName -> FilePath -> LIB_DEFN -> a -> IO ()
Documentation
getFilePrefix :: HetcatsOpts -> FilePath -> (FilePath, FilePath) Source #
Compute the prefix for files to be written out
Arguments
| :: [String] | list of suffixes |
| -> FilePath | the outdir |
| -> FilePath | |
| -> (FilePath, FilePath) |
Version of getFilePrefix with explicit parameters
writeLibDefn :: LogicGraph -> GlobalAnnos -> FilePath -> HetcatsOpts -> LIB_DEFN -> IO () Source #
Write the given LIB_DEFN in every format that HetcatsOpts includes. Filenames are determined by the output formats.
writeLibDefnLatex :: LogicGraph -> Bool -> GlobalAnnos -> FilePath -> LIB_DEFN -> IO () Source #
toShATermString :: ShATermLG a => a -> IO String Source #
writeShATermFile :: ShATermLG a => FilePath -> a -> IO () Source #
writeFileInfo :: ShATermLG a => HetcatsOpts -> LibName -> FilePath -> LIB_DEFN -> a -> IO () Source #