ManagerUsefulStandard.hpp

Go to the documentation of this file.

#ifndef UsefulManagerStandard_h
#define UsefulManagerStandard_h

//--------------------------------------------------------------------
// OpenAnalysis headers
#include "DepStandard.hpp"
#include "UsefulStandard.hpp"

#include <OpenAnalysis/IRInterface/ActivityIRInterface.hpp>
#include <OpenAnalysis/CFG/CFGInterface.hpp>
#include <OpenAnalysis/DataFlow/CFGDFProblem.hpp>
#include <OpenAnalysis/DataFlow/LocDFSet.hpp>
#include <OpenAnalysis/DataFlow/CFGDFSolver.hpp>

namespace OA {
  namespace Activity {


class ManagerUsefulStandard 
    : private DataFlow::CFGDFProblem { 
      //??? eventually public OA::AnnotationManager
public:
  ManagerUsefulStandard(OA_ptr<ActivityIRInterface> _ir);
  ~ManagerUsefulStandard () {}

  OA_ptr<UsefulStandard> performAnalysis(ProcHandle, 
        OA_ptr<CFG::CFGInterface> cfg, OA_ptr<DepStandard> dep,
        OA_ptr<DataFlow::LocDFSet> depLocSet,
        DataFlow::DFPImplement type);

  //------------------------------------------------------------------
  // Implementing the callbacks for CFGDFProblem
  //------------------------------------------------------------------
private:
  OA_ptr<DataFlow::DataFlowSet> initializeTop();
  OA_ptr<DataFlow::DataFlowSet> initializeBottom();

//  void initializeNode(OA_ptr<CFG::Interface::Node> n);

   // Added by PLM 07/26/06
  OA_ptr<DataFlow::DataFlowSet>
             initializeNodeIN(OA_ptr<CFG::NodeInterface> n);
  OA_ptr<DataFlow::DataFlowSet>
             initializeNodeOUT(OA_ptr<CFG::NodeInterface> n);
 
  
  OA_ptr<DataFlow::DataFlowSet> 
  meet (OA_ptr<DataFlow::DataFlowSet> set1, OA_ptr<DataFlow::DataFlowSet> set2); 

  OA_ptr<DataFlow::DataFlowSet> 
  transfer(OA_ptr<DataFlow::DataFlowSet> in, OA::StmtHandle stmt); 

private: // member variables

  OA_ptr<ActivityIRInterface> mIR;
  OA_ptr<DepStandard> mDep;
  OA_ptr<UsefulStandard> mUsefulMap;
  OA_ptr<LocIterator> mDepLocIter;
  OA_ptr<CFG::CFGInterface> mCFG;
  // Added by PLM 07/26/06
  OA_ptr<DataFlow::CFGDFSolver> mSolver;
  
};

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

#endif