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