EachCFGStandard.hpp

Go to the documentation of this file.

#ifndef EachCFGStandard_H
#define EachCFGStandard_H

#include <OpenAnalysis/CFG/ManagerCFG.hpp>
#include <OpenAnalysis/CFG/EachCFGInterface.hpp>
#include <map>

namespace OA {
  namespace CFG {

class EachCFGStandard : public virtual EachCFGInterface {
  public:
    EachCFGStandard(OA_ptr<ManagerCFGStandard> cfgman) 
        : mCFGMan(cfgman) {}
    virtual ~EachCFGStandard() {}

    OA_ptr<CFG::CFGInterface> getCFGResults(ProcHandle proc)
      { if (mProcToCFGMap[proc].ptrEqual(0)) {
          OA_ptr<CFG::CFGInterface> cfg = mCFGMan->performAnalysis(proc);
          mProcToCFGMap[proc] = cfg;
        }
        return mProcToCFGMap[proc];
      }

    /*
    OA_ptr<ProcHandleIterator> getKnownProcIterator() 
    {
        // create a procSet
        OA_ptr<std::set<ProcHandle> > procSet;
        procSet = new std::set<ProcHandle>;

        // loop through all maps to add to list of ProcHandle's
        std::map<ProcHandle,OA_ptr<CFG::Interface> >::iterator mIter;
        for (mIter=mProcToCFGMap.begin(); 
             mIter != mProcToCFGMap.end(); mIter++) 
        {
            procSet->insert(mIter->first);
        }

        OA_ptr<KnownProcIterator> retval;
        retval = new KnownProcIterator(procSet);
        return retval;
    }
    */

  private:
    OA_ptr<ManagerCFGStandard> mCFGMan;
    std::map<ProcHandle,OA_ptr<CFG::CFGInterface> > mProcToCFGMap;
    
    /*
    class KnownProcIterator : public virtual OA::ProcHandleIterator,
                         public OA::IRHandleSetIterator<OA::ProcHandle>
    {
    public:
      KnownProcIterator(OA::OA_ptr<std::set<OA::ProcHandle> > pSet) 
          : OA::IRHandleSetIterator<OA::ProcHandle>(pSet) {}
      ~KnownProcIterator() {}

      void operator++() { OA::IRHandleSetIterator<OA::ProcHandle>::operator++(); }
      bool isValid() const
        { return OA::IRHandleSetIterator<OA::ProcHandle>::isValid(); }
      OA::ProcHandle current() const
        { return OA::IRHandleSetIterator<OA::ProcHandle>::current(); }
      void reset() { OA::IRHandleSetIterator<OA::ProcHandle>::current(); }
    };
    */
};


  } // end of CFG namespace
} // end of OA namespace

#endif