hets -- a heterogenous Specification (CASL) tool setContentsIndex
Static.AnalysisLibrary
Portability non-portable(Logic)
Stability provisional
Maintainer hets@tzi.de
Description
Analysis of libraries
Synopsis
anaFile :: LogicGraph -> AnyLogic -> HetcatsOpts -> LibEnv -> String -> IO (Maybe (LIB_NAME, LIB_DEFN, DGraph, LibEnv))
ana_LIB_DEFN :: LogicGraph -> AnyLogic -> HetcatsOpts -> LibEnv -> LIB_DEFN -> IOResult (LIB_NAME, LIB_DEFN, DGraph, LibEnv)
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