Public Types | Public Member Functions | Public Attributes | List of all members
printAnalysisStates Class Reference


Definition at line 20 of file printAnalysisStates.h.

Inheritance diagram for printAnalysisStates:
Inheritance graph
Collaboration diagram for printAnalysisStates:
Collaboration graph

Public Types

enum  ab {
  above =0,
  below =1

Public Member Functions

 printAnalysisStates (Analysis *creator, std::vector< int > &factNames, std::vector< int > &latticeNames, ab latSide, std::string indent)
void visit (const Function &func, const DataflowNode &n, NodeState &state)
- Public Member Functions inherited from UnstructuredPassIntraAnalysis
bool runAnalysis (const Function &func, NodeState *state)
- Public Member Functions inherited from IntraProceduralAnalysis
void setInterAnalysis (InterProceduralAnalysis *interAnalysis)
- Public Member Functions inherited from Analysis
 Analysis (bool(*f)(CFGNode)=defaultFilter)

Public Attributes

std::vector< int > latticeNames
std::vector< int > factNames
std::string indent
ab latSide
- Public Attributes inherited from Analysis
bool(* filter )(CFGNode cfgn)

Additional Inherited Members

- Protected Attributes inherited from IntraProceduralAnalysis

The documentation for this class was generated from the following file: