| ||||||||
| ||||||||
| ||||||||
Description | ||||||||
Analysis of the AST. Currently, we provide a monad for analysis and analyze declarations and types. Especially note that there is no direct support for analyzing function bodies and constant expressions. NOTE This is an experimental interface, and therefore the API will change in the future. DONE:
TODO:
| ||||||||
Synopsis | ||||||||
Semantic representation | ||||||||
module Language.C.Analysis.SemRep | ||||||||
Error datatypes for the analysis | ||||||||
module Language.C.Analysis.SemError | ||||||||
Traversal monad | ||||||||
module Language.C.Analysis.TravMonad | ||||||||
Top level analysis | ||||||||
module Language.C.Analysis.AstAnalysis | ||||||||
Analyzing declarations | ||||||||
module Language.C.Analysis.DeclAnalysis | ||||||||
Debug print | ||||||||
module Language.C.Analysis.Debug | ||||||||
Produced by Haddock version 2.4.2 |