VaryStandard.hpp

Go to the documentation of this file.

#ifndef VaryStandard_hpp
#define VaryStandard_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>

namespace OA {
  namespace Activity {



class VaryStandard {
  public:
    VaryStandard(ProcHandle p);
    ~VaryStandard() {}

    OA_ptr<LocIterator> getIndepSetIterator();

    OA_ptr<LocIterator> getOutVaryIterator(StmtHandle s);

    //FIXME: an iterator or make getOutVaryIterator return a set?
    OA_ptr<DataFlow::LocDFSet> getInVarySet(ExprHandle call);

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

    void insertIndepLoc(OA_ptr<Location> loc);

    void copyIntoOutVary(StmtHandle s, 
                         OA_ptr<DataFlow::LocDFSet> dfset);

    void copyIntoInVary(ExprHandle call, 
                        OA_ptr<DataFlow::LocDFSet> dfset);

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

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

  private:
    // data members
    std::map<StmtHandle,OA_ptr<DataFlow::LocDFSet> > mOutVary;
    std::map<ExprHandle,OA_ptr<DataFlow::LocDFSet> > mInVary;
    OA_ptr<DataFlow::LocDFSet>  mIndepLocSet;

};

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

#endif