InterReachConsts.hpp

Go to the documentation of this file.

#ifndef InterReachConsts_H
#define InterReachConsts_H

#include <OpenAnalysis/ReachConsts/Interface.hpp>
#include <OpenAnalysis/ReachConsts/ReachConstsStandard.hpp>
#include <OpenAnalysis/OABase/Annotation.hpp>
#include <map>

namespace OA {
  namespace ReachConsts {

    class InterReachConsts : public virtual Annotation {
  public:
    InterReachConsts() {}
    virtual ~InterReachConsts() {}

    OA_ptr<ReachConsts::Interface> getReachConsts(ProcHandle proc);
        
    //*****************************************************************
    // Annotation Interface
    //*****************************************************************
    void output(OA::IRHandlesIRInterface& ir);

    //*****************************************************************
    // Output
    //*****************************************************************
    void dump(std::ostream& os, OA_ptr<IRHandlesIRInterface> ir);
   
    //*****************************************************************
    // Construction methods 
    //*****************************************************************

    void mapProcToReachConsts(ProcHandle proc, 
                              OA_ptr<ReachConsts::Interface> rcs)
      { mProcToReachConstsMap[proc] = rcs; }

    //void mapCallToDep(ExprHandle call, OA_ptr<DepDFSet> dep)
    //  { mCallToDepDFSet[call] = dep; }

  private:
  std::map<ProcHandle,OA_ptr<ReachConsts::Interface> > 
      mProcToReachConstsMap;
  //std::map<ExprHandle,OA_ptr<DepDFSet> > mCallToDepDFSet;


};

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

#endif