ManagerReachDefsOverwriteXAIF.hpp

Go to the documentation of this file.

#ifndef ManagerReachDefsXAIF_h
#define ManagerReachDefsXAIF_h

//--------------------------------------------------------------------

// OpenAnalysis headers
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/ReachDefsOverwrite/Interface.hpp>
#include <OpenAnalysis/CFG/CFGInterface.hpp>
#include <OpenAnalysis/XAIF/ReachDefsOverwriteXAIF.hpp>
#include <OpenAnalysis/IRInterface/XAIFIRInterface.hpp>

namespace OA {
  namespace XAIF {

    class ManagerReachDefsOverwriteXAIF  { 

    public:

      ManagerReachDefsOverwriteXAIF(OA_ptr<XAIFIRInterface>);
      ~ManagerReachDefsOverwriteXAIF () {}

      OA_ptr<ReachDefsOverwriteXAIF> performAnalysis(OA_ptr<CFG::CFGInterface> cfg,
                                                     OA_ptr<ReachDefsOverwrite::Interface> reachDefs);

    private:

      OA_ptr<XAIFIRInterface> mIR;    

      std::map<MemRefHandle,StmtHandle> mMemRefToStmt;

      static int ourCurrentStartId;

      static int getNextChainId(); 

      
    };

  } 
} 

#endif