// SValuator.h - Construction of SVals from evaluating expressions -*- C++ -*---
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
//  This file defines SValuator, a class that defines the interface for
//  "symbolical evaluators" which construct an SVal from an expression.
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_CLANG_ANALYSIS_SVALUATOR
#define LLVM_CLANG_ANALYSIS_SVALUATOR

#include "clang/AST/Expr.h"
#include "clang/Analysis/PathSensitive/SVals.h"

namespace clang {

class GRState;
class ValueManager;

class SValuator {
  friend class ValueManager;
protected:
  ValueManager &ValMgr;

  virtual SVal EvalCastNL(NonLoc val, QualType castTy) = 0;

  virtual SVal EvalCastL(Loc val, QualType castTy) = 0;

public:
  SValuator(ValueManager &valMgr) : ValMgr(valMgr) {}
  virtual ~SValuator() {}

  template <typename T>
  class GenericCastResult : public std::pair<const GRState *, T> {
  public:
    const GRState *getState() const { return this->first; }
    T getSVal() const { return this->second; }
    GenericCastResult(const GRState *s, T v)
      : std::pair<const GRState*,T>(s, v) {}
  };
  
  class CastResult : public GenericCastResult<SVal> {
  public:
    CastResult(const GRState *s, SVal v) : GenericCastResult<SVal>(s, v) {}
  };
  
  class DefinedOrUnknownCastResult :
    public GenericCastResult<DefinedOrUnknownSVal> {
  public:
    DefinedOrUnknownCastResult(const GRState *s, DefinedOrUnknownSVal v)
      : GenericCastResult<DefinedOrUnknownSVal>(s, v) {}
  };

  CastResult EvalCast(SVal V, const GRState *ST,
                      QualType castTy, QualType originalType);
  
  DefinedOrUnknownCastResult EvalCast(DefinedOrUnknownSVal V, const GRState *ST,
                                      QualType castTy, QualType originalType);

  virtual SVal EvalMinus(NonLoc val) = 0;

  virtual SVal EvalComplement(NonLoc val) = 0;

  virtual SVal EvalBinOpNN(const GRState *state, BinaryOperator::Opcode Op,
                           NonLoc lhs, NonLoc rhs, QualType resultTy) = 0;

  virtual SVal EvalBinOpLL(BinaryOperator::Opcode Op, Loc lhs, Loc rhs,
                           QualType resultTy) = 0;

  virtual SVal EvalBinOpLN(const GRState *state, BinaryOperator::Opcode Op,
                           Loc lhs, NonLoc rhs, QualType resultTy) = 0;
  
  SVal EvalBinOp(const GRState *ST, BinaryOperator::Opcode Op,
                 SVal L, SVal R, QualType T);
  
  DefinedOrUnknownSVal EvalEQ(const GRState *ST, DefinedOrUnknownSVal L,
                              DefinedOrUnknownSVal R);
};

SValuator* CreateSimpleSValuator(ValueManager &valMgr);

} // end clang namespace
#endif