Hets - the Heterogeneous Tool Set
Copyright(c) Klaus Luettich C.Maeder Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(DevGraph)
Safe HaskellNone

Driver.WriteLibDefn

Description

Writing out DOL env files as much as is needed for the static analysis

Synopsis

Documentation

getFilePrefix :: HetcatsOpts -> FilePath -> (FilePath, FilePath) Source #

Compute the prefix for files to be written out

getFilePrefixGeneric Source #

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 #