Analysis.hs

-----------------------------------------------------------------------------
-- |
-- Module      :  Language.C.Analysis
-- Copyright   :  (c) 2008 Benedikt Huber
-- License     :  BSD-style
-- Maintainer  :  benedikt.huber@gmail.com
-- Stability   :  alpha
-- Portability :  ghc
--
-- 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:
--
--  * Name analysis framework
--
--  * File-scope analysis
--
--  * Declaration analysis
--
-- TODO:
--
--  * Type checking expressions
--
--  * Constant expression evaluation (CEE)
--
--  * Typed representation of attributes (depends on CEE)
--
--  * Normalized representation of initializers
--
--  * Support for analyzing function bodies (depends on CEE)
--
--  * Normalizing expressions and statements
--
--  * Formal rules how to link back to the AST using NodeInfo fields
--
--  * Typed assembler representation

-----------------------------------------------------------------------------
module Language.C.Analysis (
    -- * 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,
)
where
import Language.C.Analysis.SemError
import Language.C.Analysis.SemRep

import Language.C.Analysis.TravMonad

import Language.C.Analysis.AstAnalysis
import Language.C.Analysis.DeclAnalysis

import Language.C.Analysis.Debug