| 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 HetCASL env files as much as is needed for the static analysis
- 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)
Compute the prefix for files to be written out
Version of getFilePrefix with explicit parameters
writeLibDefn :: LogicGraph -> GlobalAnnos -> FilePath -> HetcatsOpts -> LIB_DEFN -> IO ()
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 ()
toShATermString :: ShATermLG a => a -> IO String
writeShATermFile :: ShATermLG a => FilePath -> a -> IO ()
writeFileInfo :: ShATermLG a => HetcatsOpts -> LibName -> FilePath -> LIB_DEFN -> a -> IO ()