hets -- a heterogenous Specification (CASL) tool setContentsIndex
Static.AnalysisStructured
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description

Analysis of structured specifications

Follows the extended static semantic rules in:

T. Mossakowski, S. Autexier, D. Hutter, P. Hoffman: CASL Proof calculus. Available from http://www.informatik.uni-bremen.de/~till/calculus.ps To appear in the CASL book.

Synopsis
ana_SPEC :: LogicGraph -> GlobalContext -> NodeSig -> Maybe SIMPLE_ID -> Bool -> SPEC -> Result (SPEC, NodeSig, DGraph)
ana_GENERICITY :: LogicGraph -> GlobalContext -> AnyLogic -> Bool -> GENERICITY -> Result (GENERICITY, ExtGenSig, DGraph)
ana_VIEW_TYPE :: LogicGraph -> GlobalContext -> AnyLogic -> NodeSig -> Bool -> VIEW_TYPE -> Result (VIEW_TYPE, (NodeSig, NodeSig), DGraph)
ana_err :: String -> a
Documentation
ana_SPEC :: LogicGraph -> GlobalContext -> NodeSig -> Maybe SIMPLE_ID -> Bool -> SPEC -> Result (SPEC, NodeSig, DGraph)
analyze a SPEC Parameters: global context, local environment, the SIMPLE_ID may be a name if the specification shall be named, flag: shall only the structure be analysed?
ana_GENERICITY :: LogicGraph -> GlobalContext -> AnyLogic -> Bool -> GENERICITY -> Result (GENERICITY, ExtGenSig, DGraph)
analyze a GENERICITY Parameters: global context, current logic, just-structure-flag, GENERICITY
ana_VIEW_TYPE :: LogicGraph -> GlobalContext -> AnyLogic -> NodeSig -> Bool -> VIEW_TYPE -> Result (VIEW_TYPE, (NodeSig, NodeSig), DGraph)
analyze a VIEW_TYPE The first three arguments give the global context The AnyLogic is the current logic The NodeSig is the signature of the parameter of the view flag, whether just the structure shall be analysed
ana_err :: String -> a
Auxiliary function for not yet implemented features
Produced by Haddock version 0.6