ReachDefsIRInterface.hpp

Go to the documentation of this file.

#ifndef ReachDefsIRInterface_h
#define ReachDefsIRInterface_h

#include <iostream>
#include <list>
#include <string>
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/IRInterface/AssignPairIterator.hpp>
#include <OpenAnalysis/ExprTree/ExprTree.hpp>

namespace OA {
  namespace ReachDefs {

class ReachDefsIRInterface : public virtual IRHandlesIRInterface {
 public:
  ReachDefsIRInterface() { }
  virtual ~ReachDefsIRInterface() { }
 
  //virtual OA_ptr<IRSymIterator> getVisibleSymIterator(ProcHandle h) = 0; 

  virtual OA_ptr<IRStmtIterator> getStmtIterator(ProcHandle h) = 0; 

  virtual OA_ptr<MemRefHandleIterator> getAllMemRefs(StmtHandle stmt) = 0;
  
  virtual OA_ptr<MemRefHandleIterator> getDefMemRefs(StmtHandle stmt) = 0;

  virtual OA_ptr<MemRefHandleIterator> getUseMemRefs(StmtHandle stmt) = 0;
  
  virtual OA_ptr<IRCallsiteIterator> getCallsites(StmtHandle h) = 0;

  virtual OA_ptr<ExprTree> getExprTree(ExprHandle h) = 0;

};  

  } // end of namespace ReachDef
} // end of namespace OA

#endif