ManagerActiveStandard.hpp

Go to the documentation of this file.

#ifndef ActiveManagerStandard_h
#define ActiveManagerStandard_h

//--------------------------------------------------------------------
// OpenAnalysis headers
#include "VaryStandard.hpp"
#include "UsefulStandard.hpp"
#include "ActiveStandard.hpp"

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

namespace OA {
  namespace Activity {


class ManagerActiveStandard {
      //??? eventually public OA::AnnotationManager
public:
  ManagerActiveStandard(OA_ptr<ActivityIRInterface> _ir);
  ~ManagerActiveStandard () {}

  OA_ptr<ActiveStandard> performAnalysis(ProcHandle, 
          OA_ptr<CFG::CFGInterface> cfg,
          OA_ptr<Alias::Interface> alias,
          OA_ptr<VaryStandard> vary,
          OA_ptr<UsefulStandard> useful);
          //OA_ptr<SideEffect::InterSideEffectInterface> interSE,
          //OA_ptr<LocIterator> indepLocIter,
          //OA_ptr<LocIterator> depLocIter);

  /*
  OA_ptr<ActiveStandard> performAnalysis(ProcHandle, 
          OA_ptr<CFG::Interface> cfg,
          OA_ptr<Alias::Interface> alias,
          OA_ptr<SideEffect::InterSideEffectInterface> interSE);
          */

private:
// helper function
void calculateActive(
        StmtHandle prevStmt, OA_ptr<LocIterator> prevOutVaryIter,
        StmtHandle stmt, OA_ptr<LocIterator> inUsefulIter);
private:
  OA_ptr<ActivityIRInterface> mIR;
  OA_ptr<ActiveStandard> mActive;
  //OA_ptr<DepStandard> mDep;
  OA_ptr<Alias::Interface> mAlias;

};

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

#endif