SideEffectIRInterface.hpp

Go to the documentation of this file.

#ifndef SideEffectIRInterface_h
#define SideEffectIRInterface_h

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

namespace OA {
  namespace SideEffect {

class SideEffectIRInterface : public virtual IRHandlesIRInterface, public virtual DataFlow::CalleeToCallerVisitorIRInterface 
{
 public:
  SideEffectIRInterface() { }
  virtual ~SideEffectIRInterface() { }
 
  virtual OA_ptr<IRStmtIterator> getStmtIterator(ProcHandle h) = 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 SymHandle getProcSymHandle(ProcHandle h) = 0;
};  

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

#endif