OA::DataFlow::CallGraphDFProblemIRInterface Class Reference
#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 | |
| 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.
Implemented in Open64IRInterface.
| virtual OA_ptr<ExprTree> OA::DataFlow::CallGraphDFProblemIRInterface::getExprTree | ( | ExprHandle | h | ) | [pure virtual] |
| 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
