constant-evaluator.h

/*
    This file is part of TON Blockchain Library.

    TON Blockchain Library is free software: you can redistribute it and/or modify
    it under the terms of the GNU Lesser General Public License as published by
    the Free Software Foundation, either version 2 of the License, or
    (at your option) any later version.

    TON Blockchain Library is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU Lesser General Public License for more details.

    You should have received a copy of the GNU Lesser General Public License
    along with TON Blockchain Library.  If not, see <http://www.gnu.org/licenses/>.
*/
#pragma once

#include "fwd-declarations.h"
#include "crypto/common/refint.h"
#include <variant>

namespace tolk {

class ConstantValue {
  std::variant<
    td::RefInt256,    // is set for int, intN, coins, bool
    std::string       // is set for slice, bytesN
  > value;

public:
  ConstantValue() = default;    // by default, not initialized

  explicit ConstantValue(int value)
    : value(td::make_refint(value)) {}
  explicit ConstantValue(td::RefInt256 value)
    : value(std::move(value)) {}
  explicit ConstantValue(std::string value)
    : value(std::move(value)) {}

  bool initialized() const { return is_slice() || std::get<td::RefInt256>(value).not_null(); }

  bool is_int() const { return std::holds_alternative<td::RefInt256>(value); }
  bool is_slice() const { return std::holds_alternative<std::string>(value); }

  td::RefInt256 as_int() const { return std::get<td::RefInt256>(value); }
  const std::string& as_slice() const { return std::get<std::string>(value); }
};

ConstantValue eval_string_const_standalone(AnyExprV v_string);
ConstantValue eval_call_to_compile_time_function(AnyExprV v_call);
ConstantValue eval_expression_expected_to_be_constant(AnyExprV v);
void eval_and_assign_const_init_value(GlobalConstPtr const_ref);

} // namespace tolk