EvalToConstVisitor.hpp

Go to the documentation of this file.

#ifndef EvalToConstVisitor_H
#define EvalToConstVisitor_H

#include <OpenAnalysis/ExprTree/ExprTreeVisitor.hpp>
#include <OpenAnalysis/IRInterface/ConstValBasicInterface.hpp>
#include <OpenAnalysis/IRInterface/EvalToConstVisitorIRInterface.hpp>
#include <OpenAnalysis/ReachConsts/Interface.hpp>

namespace OA {

//--------------------------------------------------------------------
class EvalToConstVisitor : public ExprTreeVisitor {
public:
  EvalToConstVisitor(OA_ptr<EvalToConstVisitorIRInterface> ir,
                     OA_ptr<ReachConsts::Interface> rc);
  ~EvalToConstVisitor() {}

  void visitExprTreeBefore(ExprTree&) { }
  void visitExprTreeAfter(ExprTree&) { }

  //---------------------------------------
  // method for each ExprTree::Node subclass
  //---------------------------------------
  // default base class so that visitors can handle unknown
  // node sub-classes in a generic fashion
  void visitNode(ExprTree::Node&);

  void visitOpNode(ExprTree::OpNode& n);
  void visitCallNode(ExprTree::CallNode& n);
  void visitMemRefNode(ExprTree::MemRefNode& n);
  void visitConstSymNode(ExprTree::ConstSymNode& n);
  void visitConstValNode(ExprTree::ConstValNode& n);

  OA_ptr<ConstValBasicInterface> getConstVal() { return mEvalResult; }

private:
  OA_ptr<ConstValBasicInterface> mEvalResult;
  OA_ptr<EvalToConstVisitorIRInterface> mIR;
  OA_ptr<ReachConsts::Interface> mReachConsts;
};


} // end of OA namespace

#endif