ReachConstsIRInterface.hpp

Go to the documentation of this file.

#ifndef ReachConstsIRInterface_h
#define ReachConstsIRInterface_h

#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/ExprTree/ExprTree.hpp>
#include <OpenAnalysis/IRInterface/ConstValBasicInterface.hpp>
#include <OpenAnalysis/IRInterface/EvalToConstVisitorIRInterface.hpp>
//#include <OpenAnalysis/IRInterface/ExprStmtPairIterator.hpp>
#include <OpenAnalysis/IRInterface/AssignPairIterator.hpp>
#include <OpenAnalysis/IRInterface/CalleeToCallerVisitorIRInterface.hpp>

namespace OA {
  namespace ReachConsts {

class ReachConstsIRInterface : public virtual IRHandlesIRInterface,
                    public virtual EvalToConstVisitorIRInterface,
                    public virtual DataFlow::CalleeToCallerVisitorIRInterface
{
 public:
  ReachConstsIRInterface() { }
  virtual ~ReachConstsIRInterface() { }

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

  //virtual std::string toString(const StmtHandle h) = 0;

  //virtual std::string toString(const MemRefHandle 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<AssignPairIterator> 
      getAssignPairIterator(StmtHandle h) = 0; 
  
  virtual OA_ptr<ConstValBasicInterface> 
      evalOp(OpHandle op, OA_ptr<ConstValBasicInterface> operand1, 
                          OA_ptr<ConstValBasicInterface> operand2) = 0;
  
  virtual OA_ptr<ConstValBasicInterface> getConstValBasic(ConstSymHandle c) = 0;

  virtual OA_ptr<ConstValBasicInterface> getConstValBasic(ConstValHandle c) = 0;

  // given a ConstValBasicInterface, print out value if any
  virtual std::string toString(OA_ptr<ConstValBasicInterface> cvPtr) = 0;
  // need all for full override
  virtual std::string toString(const ProcHandle h) = 0;
  virtual std::string toString(const StmtHandle h) = 0;
  virtual std::string toString(const ExprHandle h) = 0;
  virtual std::string toString(const OpHandle h) = 0;
  virtual std::string toString(const MemRefHandle h) = 0;
  virtual std::string toString(const SymHandle h) = 0;
  virtual std::string toString(const ConstSymHandle h) = 0;
  virtual std::string toString(const ConstValHandle h) = 0;


  // Given an unsigned int, return a ConstValBAsicInterface for it
  virtual OA_ptr<ConstValBasicInterface> getConstValBasic (unsigned int val) = 0;

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

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

  // should be removed after testing
  virtual int returnOpEnumValInt(OA::OpHandle op) = 0;

};

  } // end of namespace ReachConsts
} // end of namespace OA

#endif