ReachConsts/Interface.hpp

Go to the documentation of this file.

#ifndef REACHCONSTSINTERFACE_H
#define REACHCONSTSINTERFACE_H

#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/IRInterface/ConstValBasicInterface.hpp>
#include <OpenAnalysis/OABase/Annotation.hpp>

namespace OA {
  namespace ReachConsts {

class Interface : public virtual Annotation {

public:
  Interface(){}
  virtual ~Interface(){}

  virtual OA_ptr<ConstValBasicInterface> getReachConst(MemRefHandle h) = 0;

  virtual void dump(std::ostream& os, OA_ptr<IRHandlesIRInterface> ir) = 0;

  //*****************************************************************
  // Annotation Interface
  //*****************************************************************
  virtual void output(OA::IRHandlesIRInterface& ir) = 0;
  
};
  } // end of ReachConsts namespace
} // end of OA namespace

#endif