#include <CallGraphDFProblemIRInterface.hpp>

Inheritance diagram for OA::DataFlow::CallGraphDFProblemIRInterface:

Collaboration diagram for OA::DataFlow::CallGraphDFProblemIRInterface:

Public Member Functions
	CallGraphDFProblemIRInterface ()

virtual	~CallGraphDFProblemIRInterface ()

virtual OA::OA_ptr < OA::IRCallsiteParamIterator >	getCallsiteParams (OA::CallHandle h)=0

virtual SymHandle	getFormalForActual (ProcHandle caller, CallHandle call, ProcHandle callee, ExprHandle param)=0
	return the formal parameter that an actual parameter is associated with More...

virtual OA_ptr< Location >	getLocation (ProcHandle p, SymHandle s)=0

virtual OA_ptr< ExprTree >	getExprTree (ExprHandle h)=0
	Given an ExprHandle, return an ExprTree. More...

Public Member Functions inherited from OA::IRHandlesIRInterface
virtual	~IRHandlesIRInterface ()

virtual std::string	toString (const ProcHandle h)=0

virtual std::string	toString (const StmtHandle h)=0

virtual std::string	toString (const ExprHandle h)=0

virtual std::string	toString (const OpHandle h)=0

virtual std::string	toString (const MemRefHandle h)=0

virtual std::string	toString (const CallHandle h)=0

virtual std::string	toString (const SymHandle h)=0

virtual std::string	toString (const ConstSymHandle h)=0

virtual std::string	toString (const ConstValHandle h)=0

virtual void	dump (MemRefHandle h, std::ostream &os)=0
	Given a memory reference, pretty-print it to the output stream os. More...

virtual void	dump (StmtHandle stmt, std::ostream &os)=0
	Given a statement, pretty-print it to the output stream os. More...

virtual void	dump (SymHandle sym, std::ostream &os)=0
	Given a statement, pretty-print it to the output stream os. More...

Detailed Description

The CallGraphDFProblem abstract base class gives a set of methods for querying the source IR for information relevant to interprocedural Analysis. This is the primary interface for interprocedural analysis to the underlying intermediate representation.

Definition at line 35 of file CallGraphDFProblemIRInterface.hpp.

Constructor & Destructor Documentation

OA::DataFlow::CallGraphDFProblemIRInterface::CallGraphDFProblemIRInterface ( )

inline

Definition at line 37 of file CallGraphDFProblemIRInterface.hpp.

virtual OA::DataFlow::CallGraphDFProblemIRInterface::~CallGraphDFProblemIRInterface ( )

inlinevirtual

Definition at line 38 of file CallGraphDFProblemIRInterface.hpp.

Member Function Documentation

virtual OA::OA_ptr<OA::IRCallsiteParamIterator> OA::DataFlow::CallGraphDFProblemIRInterface::getCallsiteParams ( OA::CallHandle h)

pure virtual

Get IRCallsiteParamIterator for a callsite. Iterator visits actual parameters in called order.

Implemented in Open64IRInterface.

virtual OA_ptr<ExprTree> OA::DataFlow::CallGraphDFProblemIRInterface::getExprTree ( ExprHandle h)

pure virtual

Given an ExprHandle, return an ExprTree.

Implemented in Open64IRInterface.

virtual SymHandle OA::DataFlow::CallGraphDFProblemIRInterface::getFormalForActual	(	ProcHandle	caller,
		CallHandle	call,
		ProcHandle	callee,
		ExprHandle	param
	)

pure virtual

return the formal parameter that an actual parameter is associated with

Implemented in Open64IRInterface.

virtual OA_ptr<Location> OA::DataFlow::CallGraphDFProblemIRInterface::getLocation	(	ProcHandle	p,
		SymHandle	s
	)

pure virtual

For the given symbol create a Location that indicates statically overlapping locations and information about whether the location is local or not for the given procedure, local means only visible in this procedure

Implemented in Open64IRInterface.

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

OpenAnalysis/src/OpenAnalysis/IRInterface/CallGraphDFProblemIRInterface.hpp

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation