printAnalysisStates Class Reference

#include <printAnalysisStates.h>

Inheritance diagram for printAnalysisStates:

Collaboration diagram for printAnalysisStates:

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)
virtual	~IntraProceduralAnalysis ()
Public Member Functions inherited from Analysis
	Analysis (bool(*f)(CFGNode)=defaultFilter)

Public Attributes
Analysis *	creator
std::vector< int >	latticeNames
std::vector< int >	factNames
std::string	indent
ab	latSide

Additional Inherited Members
Protected Attributes inherited from IntraProceduralAnalysis
InterProceduralAnalysis *	interAnalysis

Detailed Description

Definition at line 17 of file printAnalysisStates.h.

Member Enumeration Documentation

enum printAnalysisStates::ab

Enumerator
above
below

Definition at line 24 of file printAnalysisStates.h.

Constructor & Destructor Documentation

printAnalysisStates::printAnalysisStates	(	Analysis *	creator,
		std::vector< int > &	factNames,
		std::vector< int > &	latticeNames,
		ab	latSide,
		std::string	indent
	)

Member Function Documentation

void printAnalysisStates::visit ( const Function &  func, const DataflowNode &  n, NodeState &  state  )

virtual

Implements UnstructuredPassIntraAnalysis.

Member Data Documentation

Analysis* printAnalysisStates::creator

Definition at line 20 of file printAnalysisStates.h.

std::vector<int> printAnalysisStates::latticeNames

Definition at line 21 of file printAnalysisStates.h.

std::vector<int> printAnalysisStates::factNames

Definition at line 22 of file printAnalysisStates.h.

std::string printAnalysisStates::indent

Definition at line 23 of file printAnalysisStates.h.

ab printAnalysisStates::latSide

Definition at line 25 of file printAnalysisStates.h.

---

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

• printAnalysisStates.h