 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
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 |
|
|
|
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 |