InterSideEffectInterface.hpp

Go to the documentation of this file.

#ifndef InterSideEffectInterface_hpp
#define InterSideEffectInterface_hpp

#include <OpenAnalysis/Utils/OA_ptr.hpp>
#include <OpenAnalysis/IRInterface/IRHandles.hpp>
#include <OpenAnalysis/Location/Locations.hpp>
#include <OpenAnalysis/Alias/Interface.hpp>
#include <OpenAnalysis/SideEffect/SideEffectInterface.hpp>


namespace OA {
  namespace SideEffect {

typedef ProcHandleIterator ProcIterator;

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

    virtual OA_ptr<ProcIterator> getKnownProcIterator() = 0;

    //*************************************************************************
    
    virtual OA_ptr<LocIterator> getLMODIterator(CallHandle p) = 0;

    virtual OA_ptr<LocIterator> getMODIterator(CallHandle p) = 0;

    virtual OA_ptr<LocIterator> getLDEFIterator(CallHandle p) = 0;

    virtual OA_ptr<LocIterator> getDEFIterator(CallHandle p) = 0;

    virtual OA_ptr<LocIterator> getLUSEIterator(CallHandle p) = 0;

    virtual OA_ptr<LocIterator> getUSEIterator(CallHandle p) = 0;

    virtual OA_ptr<LocIterator> getLREFIterator(CallHandle p) = 0;

    virtual OA_ptr<LocIterator> getREFIterator(CallHandle p) = 0;

    //*************************************************************************
    
    virtual OA_ptr<LocIterator> getLMODIterator(ProcHandle p) = 0;

    virtual OA_ptr<LocIterator> getMODIterator(ProcHandle p) = 0;

    virtual OA_ptr<LocIterator> getLDEFIterator(ProcHandle p) = 0;

    virtual OA_ptr<LocIterator> getDEFIterator(ProcHandle p) = 0;

    virtual OA_ptr<LocIterator> getLUSEIterator(ProcHandle p) = 0;

    virtual OA_ptr<LocIterator> getUSEIterator(ProcHandle p) = 0;

    virtual OA_ptr<LocIterator> getLREFIterator(ProcHandle p) = 0;

    virtual OA_ptr<LocIterator> getREFIterator(ProcHandle p) = 0;

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

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

};


  } // end of SideEffect namespace
} // end of OA namespace

#endif