 | 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 |