ReachDefs/Interface.hpp

Go to the documentation of this file.

#ifndef ReachDefsInterface_hpp
#define ReachDefsInterface_hpp

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

namespace OA {
  namespace ReachDefs {


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

    typedef StmtHandleIterator ReachDefsIterator;

    virtual OA_ptr<ReachDefsIterator> getReachDefsIterator(StmtHandle s) = 0;

    virtual OA_ptr<Interface::ReachDefsIterator> getExitReachDefsIterator() = 0;

};

  } // end of ReachDefs namespace
} // end of OA namespace

#endif