ReachDefsOverwriteStandard.hpp

Go to the documentation of this file.

#ifndef ReachDefsOverwriteStandard_hpp
#define ReachDefsOverwriteStandard_hpp

#include <iostream>
#include <map>
#include <set>

#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/ReachDefs/ReachDefsStandard.hpp>
#include <OpenAnalysis/ReachDefsOverwrite/Interface.hpp>
#include <OpenAnalysis/OABase/Annotation.hpp>
#include <OpenAnalysis/Utils/GenOutputTool.hpp>

namespace OA {
  namespace ReachDefsOverwrite {

    class ReachDefsOverwriteStandard : public ReachDefsOverwrite::Interface,
                                       public ReachDefs::ReachDefsStandard {
    public:
      ReachDefsOverwriteStandard(ProcHandle p) ;

      ~ReachDefsOverwriteStandard() {}

      OA_ptr<ReachDefsIterator> getOverwritingStmts(StmtHandle s);

      void insertOverwrittenBy(StmtHandle def, 
                               StmtHandle ovw);

      void output(IRHandlesIRInterface& pIR);

    private:
      // data members
      std::map<StmtHandle,OA_ptr<std::set<StmtHandle> > > mOverwrittenBy;

    };

  } 
} 

#endif