ParamBindingsIRInterface.hpp

Go to the documentation of this file.

#ifndef ParamBindingsIRInterface_h
#define ParamBindingsIRInterface_h

#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/Location/Locations.hpp>
#include <OpenAnalysis/ExprTree/ExprTree.hpp>

namespace OA {

typedef IRCallsiteParamIterator ExprHandleIterator;

  namespace DataFlow {


class ParamBindingsIRInterface : public virtual IRHandlesIRInterface {
 public:
  ParamBindingsIRInterface() { }
  virtual ~ParamBindingsIRInterface() { }
  
  virtual OA_ptr<IRStmtIterator> getStmtIterator(ProcHandle h) = 0; 
  
  virtual OA_ptr<MemRefHandleIterator> getAllMemRefs(StmtHandle stmt) = 0;
  
  virtual OA_ptr<MemRefExprIterator> 
      getMemRefExprIterator(MemRefHandle h) = 0;


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

  //virtual OA_ptr<IRSymIterator> getRefSymIterator(ProcHandle h) = 0; 

  virtual bool isParam(SymHandle) = 0;

  //virtual bool isRefParam(SymHandle) = 0;
               
  virtual SymHandle getFormalForActual(ProcHandle caller, CallHandle call, 
                                       ProcHandle callee, ExprHandle param) = 0; 
  virtual OA_ptr<ExprTree> getExprTree(ExprHandle h) = 0;
  
};  

  } // end of namespace DataFlow
} // end of namespace OA

#endif