AliasIRInterface.hpp

Go to the documentation of this file.

#ifndef AliasIRInterface_h
#define AliasIRInterface_h

#include <iostream>
#include <string>
#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/Location/Locations.hpp>
#include <OpenAnalysis/MemRefExpr/MemRefExpr.hpp>

namespace OA {

  namespace Alias {

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

    virtual OA_ptr<MemRefExpr> currentSource() const = 0;
    virtual OA_ptr<MemRefExpr> currentTarget() const = 0;

    virtual bool isValid() const = 0;
                    
    virtual void operator++() = 0;
    void operator++(int) { ++*this; }
};

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

    virtual OA_ptr<MemRefExpr> currentActual() const = 0;
    virtual int currentFormalId() const = 0;

    virtual bool isValid() const = 0;
                    
    virtual void operator++() = 0;
    void operator++(int) { ++*this; }
};

class AliasIRInterface : public virtual IRHandlesIRInterface {
 public:
  AliasIRInterface() { }
  virtual ~AliasIRInterface() { }
 
  virtual OA_ptr<IRStmtIterator> getStmtIterator(ProcHandle h) = 0; 
  
  virtual OA_ptr<MemRefHandleIterator> getAllMemRefs(StmtHandle stmt) = 0;
  
  virtual OA_ptr<PtrAssignPairStmtIterator>
      getPtrAssignStmtPairIterator(StmtHandle stmt) = 0;

  virtual OA_ptr<ParamBindPtrAssignIterator>
      getParamBindPtrAssignIterator(CallHandle call) = 0;

  virtual SymHandle getFormalSym(ProcHandle,int) = 0;

  virtual OA_ptr<IRCallsiteIterator> getCallsites(StmtHandle h) = 0;

  virtual OA_ptr<MemRefExpr> getCallMemRefExpr(CallHandle h) = 0;

  virtual ProcHandle getProcHandle(SymHandle sym) = 0;

  virtual SymHandle getSymHandle(ProcHandle h) = 0;
  
  //virtual OA_ptr<IRSymIterator> getVisibleSymIterator(ProcHandle h) = 0; 

  //virtual OA_ptr<IRStmtIterator> getUnnamedDynAllocStmtIterator(ProcHandle h) = 0; 

  virtual OA_ptr<Location> getLocation(ProcHandle p, SymHandle s) = 0;

  virtual OA_ptr<MemRefExprIterator> 
      getMemRefExprIterator(MemRefHandle h) = 0;

};  

  } // end of namespace Alias
} // end of namespace OA

#endif