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