OA::DataFlow::CallGraphDFProblemIRInterface Class Reference
#include <CallGraphDFProblemIRInterface.hpp>
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 | |
| virtual OA_ptr< Location > | getLocation (ProcHandle p, SymHandle s)=0 |
| virtual OA_ptr< ExprTree > | getExprTree (ExprHandle h)=0 |
| Given an ExprHandle, return an ExprTree. | |
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 | ( | ) | [inline, virtual] |
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.
| virtual OA_ptr<ExprTree> OA::DataFlow::CallGraphDFProblemIRInterface::getExprTree | ( | ExprHandle | h | ) | [pure virtual] |
Given an ExprHandle, return an ExprTree.
| 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
| 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
The documentation for this class was generated from the following file:
