ReachDefsOverwrite/Interface.hpp

Go to the documentation of this file.

#ifndef ReachDefsOverwriteInterface_hpp
#define ReachDefsOverwriteInterface_hpp

#include <cassert>
#include <iostream>
#include <map>
#include <set>
#include <vector>
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/ReachDefs/Interface.hpp>

namespace OA {
  namespace ReachDefsOverwrite {

    class Interface : public virtual ReachDefs::Interface { 
    public:
      Interface() {}
      virtual ~Interface() {}
      
      virtual OA_ptr<ReachDefsIterator> getOverwritingStmts(StmtHandle s) = 0;
      
    };

  } 
} 

#endif