 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
Static.AnalysisLibrary | Portability | non-portable(Logic) | Stability | provisional | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
Analysis of libraries
|
|
Synopsis |
|
|
|
Documentation |
|
anaFile :: LogicGraph -> AnyLogic -> HetcatsOpts -> LibEnv -> String -> IO (Maybe (LIB_NAME, LIB_DEFN, DGraph, LibEnv)) |
parsing and static analysis for files
Parameters: logic graph, default logic, file name |
|
ana_LIB_DEFN :: LogicGraph -> AnyLogic -> HetcatsOpts -> LibEnv -> LIB_DEFN -> IOResult (LIB_NAME, LIB_DEFN, DGraph, LibEnv) |
analyze a LIB_DEFN
Parameters: logic graph, default logic, opts, library env, LIB_DEFN
call this function as follows:
do Result diags res <- ioresToIO (ana_LIB_DEFN ...)
sequence (map (putStrLn . show) diags) |
|
Produced by Haddock version 0.6 |