OA::DataFlow Namespace Reference

Classes
class	ConstructMREVisitor
class	CalleeToCallerVisitor
class	CallGraphDFProblem
class	CallGraphDFSolver
class	CFGDFProblem
class	CFGDFSolver
class	CountDFSet
class	DataFlowSet
class	DFAGenDFSet
class	DGraphIterativeDFP
class	DGraphSolverDFP
class	ExprDFSet
class	ExprDFSetIterator
class	ICFGDFProblem
class	ICFGDFSolver
class	IRHandleIterator
class	IRHandleDataFlowSet
class	LocDFSet
class	LocDFSetIterator
	general iterator for Locations More...
class	ManagerParamBindings
class	FormalFinderVisitor
class	ParamBindings
class	WorkList
class	node_compare
class	Worklist_PQueue
class	Worklist_Queue
class	CalleeToCallerVisitorIRInterface
class	CallGraphDFProblemIRInterface
class	ParamBindingsIRInterface

Enumerations
enum	DFPImplement { ITERATIVE = 0, WORKLIST_PRIORITY_QUEUE, WORKLIST_QUEUE }

Variables
static bool	debug = false
static bool	debug = false
static bool	debug = false
static bool	debug = false
static bool	debug = false
static bool	debug = false
static bool	debug = false
static bool	debug = false
static bool	debug = false
static bool	debug = false
static bool	debug = false
static std::map< OA_ptr < DGraph::NodeInterface >, int >	NodeToPriorityMap

Enumeration Type Documentation

enum OA::DataFlow::DFPImplement

Enumerator
ITERATIVE
WORKLIST_PRIORITY_QUEUE
WORKLIST_QUEUE

Definition at line 46 of file DGraphSolverDFP.hpp.

Variable Documentation

bool OA::DataFlow::debug = false

static

Definition at line 9 of file ExprDFSet.cpp.

bool OA::DataFlow::debug = false

static

Definition at line 21 of file CountDFSet.cpp.

bool OA::DataFlow::debug = false

static

Definition at line 21 of file ICFGDFSolver.cpp.

bool OA::DataFlow::debug = false

static

Definition at line 22 of file ManagerParamBindings.cpp.

bool OA::DataFlow::debug = false

static

Definition at line 22 of file CalleeToCallerVisitor.cpp.

Referenced by OA::DataFlow::CallGraphDFSolver::atDGraphEdge(), OA::DataFlow::CallGraphDFSolver::atDGraphNode(), OA::DataFlow::ICFGDFSolver::atDGraphNode(), OA::DataFlow::CFGDFSolver::atDGraphNode(), OA::DataFlow::LocDFSet::calleeToCaller(), OA::DataFlow::LocDFSet::calleeToCallerTransitive(), OA::DataFlow::CalleeToCallerVisitor::CalleeToCallerVisitor(), OA::DataFlow::LocDFSet::callerToCallee(), OA::DataFlow::LocDFSet::callerToCalleeNot(), OA::DataFlow::LocDFSet::callerToCalleeTransitive(), OA::DataFlow::CallGraphDFSolver::CallGraphDFSolver(), OA::DataFlow::CFGDFSolver::CFGDFSolver(), OA::DataFlow::CountDFSet::CountDFSet(), OA::DataFlow::ConstructMREVisitor::createNewMRE(), OA::DataFlow::DGraphIterativeDFP::DGraphIterativeDFP(), OA::DataFlow::DGraphSolverDFP::DGraphSolverDFP(), OA::DataFlow::ExprDFSet::ExprDFSet(), OA::DataFlow::ICFGDFSolver::ICFGDFSolver(), OA::DataFlow::ICFGDFSolver::initialize(), OA::DataFlow::DGraphSolverDFP::Iterative_Solve(), OA::DataFlow::LocDFSet::LocDFSet(), OA::DataFlow::ManagerParamBindings::ManagerParamBindings(), OA::DataFlow::ManagerParamBindings::performAnalysis(), OA::DataFlow::DGraphIterativeDFP::solve(), OA::DataFlow::CallGraphDFSolver::solve(), OA::DataFlow::ConstructMREVisitor::visitAddressOf(), OA::DataFlow::ConstructMREVisitor::visitDeref(), OA::DataFlow::CalleeToCallerVisitor::visitInvisibleLoc(), OA::DataFlow::CalleeToCallerVisitor::visitLocSubSet(), OA::DataFlow::CalleeToCallerVisitor::visitNamedLoc(), and OA::DataFlow::DGraphSolverDFP::WorkList_Solve().

bool OA::DataFlow::debug = false

static

Definition at line 22 of file LocDFSet.cpp.

bool OA::DataFlow::debug = false

static

Definition at line 22 of file CFGDFProblem.cpp.

bool OA::DataFlow::debug = false

static

Definition at line 23 of file CallGraphDFSolver.cpp.

bool OA::DataFlow::debug = false

static

Definition at line 24 of file CFGDFSolver.cpp.

bool OA::DataFlow::debug = false

static

Definition at line 24 of file DGraphIterativeDFP.cpp.

bool OA::DataFlow::debug = false

static

Definition at line 26 of file DGraphSolverDFP.cpp.

std::map<OA_ptr<DGraph::NodeInterface>, int> OA::DataFlow::NodeToPriorityMap

static

Definition at line 70 of file WorkListPQueue.hpp.

Referenced by OA::DataFlow::Worklist_PQueue::getPriority(), OA::DataFlow::node_compare::operator()(), and OA::DataFlow::Worklist_PQueue::Worklist_PQueue().