Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

LF.Analysis

Description

 

Documentation

gen_file :: String Source #

gen_sig1 :: String Source #

gen_sig2 :: String Source #

gen :: String Source #

genPref :: String -> String Source #

gen_ax :: String Source #

numSuf :: String -> Int -> String Source #

mkSig :: String -> String -> String Source #

mkIncl :: String -> String Source #

mkRead :: String -> String Source #

printSenItems :: String -> [Annoted BASIC_ITEM] -> String Source #

printSenItemsH :: String -> Int -> [Annoted BASIC_ITEM] -> String Source #

codAnalysis :: Map RAW_SYM RAW_SYM -> Sign -> IO (Map Symbol (EXP, EXP)) Source #

badLibError :: String Source #

badSigError :: MODULE -> String Source #

badSymsError :: [String] -> String Source #

badValError :: String -> String Source #