StaticAnalysis.Analysis

StaticAnalysis

StaticAnalysis/Analysis.hs

Interface for data structure that represents static analysis results.

Documentation

class Analysis a where

Interface for analysis result data structures.

Methods

unanalyzed :: a

class (Analysis a, Analysis b) => Component b a where

Interface for analysis result data structures with multiple analysis components.

Methods

project :: a -> b

inject :: b -> a -> a