UsefulStandard.hpp

Go to the documentation of this file.

#ifndef UsefulStandard_hpp
#define UsefulStandard_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/DataFlow/LocDFSet.hpp>
#include <OpenAnalysis/OABase/Annotation.hpp>

namespace OA {
  namespace Activity {



    class UsefulStandard : public virtual Annotation {
  public:
    UsefulStandard(ProcHandle p); 
    ~UsefulStandard() {}

    OA_ptr<LocIterator> getDepSetIterator(); 

    OA_ptr<LocIterator> getInUsefulIterator(StmtHandle s);

    OA_ptr<LocIterator> getOutUsefulIterator(StmtHandle s);

    //OA_ptr<DataFlow::LocDFSet> getFinalUseful();

    int getNumIter() { return mNumIter; }

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

    void insertDepLoc(OA_ptr<Location> loc) 
    { mDepLocSet->insert(loc); }

    void copyIntoInUseful(StmtHandle s, 
                          OA_ptr<DataFlow::LocDFSet> dfset)
    {
      OA_ptr<DataFlow::DataFlowSet> cloneDFset = dfset->clone();
      mInUseful[s] = cloneDFset.convert<DataFlow::LocDFSet>();
    }

    void copyIntoOutUseful(StmtHandle s, 
                           OA_ptr<DataFlow::LocDFSet> dfset)
    {
      OA_ptr<DataFlow::DataFlowSet> cloneDFset = dfset->clone();
      mOutUseful[s] = cloneDFset.convert<DataFlow::LocDFSet>();
    }

    void copyIntoCallOutUseful(CallHandle c,
                               OA_ptr<DataFlow::LocDFSet> dfset)
    {
      OA_ptr<DataFlow::DataFlowSet> cloneDFset = dfset->clone();
      mCallOutUseful[c] = cloneDFset.convert<DataFlow::LocDFSet>();
    }

    //void mapFinalUseful(OA_ptr<DataFlow::LocDFSet> final);

    void setNumIter(int n) { mNumIter = n; }

    //void mapProcToUseful(ProcHandle proc, OA_ptr<UsefulStandard> useful)
    //             { mProcToUsefulMap[proc] = useful; }
      
    //*****************************************************************
    // Output
    //*****************************************************************

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

    //*****************************************************************
    // Annotation Interface
    //*****************************************************************
    void output(IRHandlesIRInterface &ir);

  private:
    // data members
    std::map<StmtHandle,OA_ptr<DataFlow::LocDFSet> >  mInUseful;
    std::map<StmtHandle,OA_ptr<DataFlow::LocDFSet> >  mOutUseful;
    std::map<CallHandle,OA_ptr<DataFlow::LocDFSet> >  mCallOutUseful;
    OA_ptr<DataFlow::LocDFSet>  mDepLocSet;
    //OA_ptr<DataFlow::LocDFSet>  mFinalInUseful;
    //std::map<ProcHandle,OA_ptr<UsefulStandard> > mProcToUsefulMap;
    int mNumIter;

};

  } // end of Activity namespace
} // end of OA namespace

#endif