UDDUChains/Interface.hpp

Go to the documentation of this file.

#ifndef UDDUChainsInterface_hpp
#define UDDUChainsInterface_hpp

#include <set>
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/IRHandles.hpp>


namespace OA {
  namespace UDDUChains {

typedef std::set<StmtHandle> StmtSet;

//class StmtUDDUChainsIterator;
//class MemRefUDDUChainsIterator;

class Interface {
  public:
    Interface() {}
    virtual ~Interface() {}

    typedef StmtHandleIterator ChainStmtIterator;
    typedef StmtHandleIterator StmtsWithUDChainIterator;
    typedef StmtHandleIterator StmtsWithDUChainIterator;
    typedef MemRefHandleIterator MemRefsWithUDChainIterator;
    typedef MemRefHandleIterator MemRefsWithDUChainIterator;

    //virtual StmtHandle getStmtHandle(MemRefHandle ref) = 0;
    
    
    virtual OA_ptr<ChainStmtIterator> getUDChainStmtIterator(StmtHandle s) = 0;

    virtual OA_ptr<StmtsWithUDChainIterator> getStmtsWithUDChainIterator() = 0;

    virtual OA_ptr<ChainStmtIterator> getDUChainStmtIterator(StmtHandle s) = 0;
    
    virtual OA_ptr<StmtsWithDUChainIterator> getStmtsWithDUChainIterator() = 0;

    virtual OA_ptr<ChainStmtIterator> getUDChainStmtIterator(MemRefHandle s) = 0;

    virtual OA_ptr<MemRefsWithUDChainIterator> getMemRefsWithUDChainIterator()=0;

    virtual OA_ptr<ChainStmtIterator> getDUChainStmtIterator(MemRefHandle s) = 0;

    virtual OA_ptr<MemRefsWithDUChainIterator> getMemRefsWithDUChainIterator()=0;

    //*****************************************************************
    // Output
    //*****************************************************************

    virtual void dump(std::ostream& os, OA_ptr<IRHandlesIRInterface> ir) = 0;

};

/*
class StmtUDDUChainsIterator {
public:
  StmtUDDUChainsIterator() { }
  virtual ~StmtUDDUChainsIterator() { };

  virtual StmtHandle currentKey() = 0;  // Returns the current key
  virtual OA_ptr<StmtSet> currentVal() = 0;    // Returns the current val
  virtual bool isValid() = 0;           // False when all items are exhausted.
        
  virtual void operator++() = 0;

  virtual void reset() = 0;
};
*/

/*
class MemRefUDDUChainsIterator {
public:
  MemRefUDDUChainsIterator() { }
  virtual ~MemRefUDDUChainsIterator() { };

  virtual MemRefHandle currentKey() = 0;  // Returns the current key
  virtual OA_ptr<StmtSet> currentVal() = 0;    // Returns the current val
  virtual bool isValid() = 0;           // False when all items are exhausted.
        
  virtual void operator++() = 0;

  virtual void reset() = 0;
};
*/


  } // end of UDDUChains namespace
} // end of OA namespace

#endif