ReachDefsStandard.hpp

Go to the documentation of this file.

#ifndef ReachDefsStandard_hpp
#define ReachDefsStandard_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>
#include <OpenAnalysis/OABase/Annotation.hpp>
#include <OpenAnalysis/Utils/GenOutputTool.hpp>

namespace OA {
  namespace ReachDefs {



class ReachDefsStandard : public virtual ReachDefs::Interface,
                          public virtual Annotation 
{
  public:
    ReachDefsStandard(ProcHandle p) 
      {
          mExitReachDefs = new std::set<StmtHandle>; 
      }
    ~ReachDefsStandard() {}

    OA_ptr<Interface::ReachDefsIterator> getReachDefsIterator(StmtHandle s); 

    OA_ptr<Interface::ReachDefsIterator> getExitReachDefsIterator(); 

    //*****************************************************************
    // Construction methods 
    //*****************************************************************

    void insertReachDef(StmtHandle s, StmtHandle reachDef)
    { if (mReachDefs[s].ptrEqual(NULL)) {
        mReachDefs[s] = new std::set<StmtHandle>;
      }
      mReachDefs[s]->insert(reachDef); 
    }

    void insertExitReachDef(StmtHandle reachDef)
    { 
      mExitReachDefs->insert(reachDef); 
    }


    //*****************************************************************
    // Output
    //*****************************************************************

    void output(IRHandlesIRInterface& pIR);

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

  protected:
    // data members
    std::map<StmtHandle,OA_ptr<std::set<StmtHandle> > >  mReachDefs;
    OA_ptr<std::set<StmtHandle> > mExitReachDefs;

  public:

    class ReachDefsStandardReachDefsIterator 
                                : public IRHandleSetIterator<StmtHandle>,
                                  public Interface::ReachDefsIterator
    {
      public:
        ReachDefsStandardReachDefsIterator(OA_ptr<std::set<StmtHandle> > pSet) 
            : IRHandleSetIterator<StmtHandle>(pSet) {}
        ~ReachDefsStandardReachDefsIterator() {}

        void operator++() { IRHandleSetIterator<StmtHandle>::operator++(); }
        bool isValid() const 
          { return IRHandleSetIterator<StmtHandle>::isValid(); }
        StmtHandle current() const 
          { return IRHandleSetIterator<StmtHandle>::current(); }
        void reset() { IRHandleSetIterator<StmtHandle>::current(); }
    };
 
};

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

#endif