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