ton/crypto/smc-envelope/SmartContract.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/>.

    Copyright 2017-2020 Telegram Systems LLP
*/
#pragma once

#include "vm/cells.h"
#include "vm/stack.hpp"
#include "vm/vm.h"

#include "td/utils/optional.h"
#include "td/utils/crypto.h"

#include "block/block.h"
#include "block/mc-config.h"

namespace ton {
class SmartContract : public td::CntObject {
  static td::Ref<vm::CellSlice> empty_slice();

 public:
  struct State {
    td::Ref<vm::Cell> code;
    td::Ref<vm::Cell> data;
  };

  SmartContract(State state) : state_(std::move(state)) {
  }

  struct Answer {
    SmartContract::State new_state;
    bool accepted;
    bool success;
    td::Ref<vm::Stack> stack;
    td::Ref<vm::Cell> actions;
    td::int32 code;
    td::int64 gas_used;
    td::optional<td::Bits256> missing_library;
    std::string vm_log;
    static int output_actions_count(td::Ref<vm::Cell> list);
  };

  struct Args {
    td::optional<td::int32> method_id;
    td::optional<vm::GasLimits> limits;
    td::optional<td::Ref<vm::Tuple>> c7;
    td::optional<td::Ref<vm::Stack>> stack;
    td::optional<td::int32> now;
    td::optional<td::BitArray<256>> rand_seed;
    bool ignore_chksig{false};
    td::uint64 amount{0};
    td::uint64 balance{0};
    td::Ref<vm::Cell> extra_currencies;
    int vm_log_verbosity_level{0};
    bool debug_enabled{false};

    td::optional<block::StdAddress> address;
    td::optional<std::shared_ptr<const block::Config>> config;
    td::optional<vm::Dictionary> libraries;
    td::optional<td::Ref<vm::Tuple>> prev_blocks_info;

    Args() {
    }
    Args(std::initializer_list<vm::StackEntry> stack)
        : stack(td::Ref<vm::Stack>(true, std::vector<vm::StackEntry>(std::move(stack)))) {
    }
    Args&& set_now(int now) {
      this->now = now;
      return std::move(*this);
    }
    Args&& set_method_id(td::Slice method_name) {
      unsigned crc = td::crc16(method_name);
      return set_method_id((crc & 0xffff) | 0x10000);
    }
    Args&& set_method_id(td::int32 method_id) {
      this->method_id = method_id;
      return std::move(*this);
    }
    Args&& set_limits(vm::GasLimits limits) {
      this->limits = std::move(limits);
      return std::move(*this);
    }
    Args&& set_c7(td::Ref<vm::Tuple> c7) {
      this->c7 = std::move(c7);
      return std::move(*this);
    }
    Args&& set_stack(std::vector<vm::StackEntry> stack) {
      this->stack = td::Ref<vm::Stack>(true, std::move(stack));
      return std::move(*this);
    }
    Args&& set_stack(td::Ref<vm::Stack> stack) {
      this->stack = std::move(stack);
      return std::move(*this);
    }
    Args&& set_rand_seed(td::BitArray<256> rand_seed) {
      this->rand_seed = std::move(rand_seed);
      return std::move(*this);
    }
    Args&& set_ignore_chksig(bool ignore_chksig) {
      this->ignore_chksig = ignore_chksig;
      return std::move(*this);
    }
    Args&& set_amount(td::uint64 amount) {
      this->amount = amount;
      return std::move(*this);
    }
    Args&& set_balance(td::uint64 balance) {
      this->balance = balance;
      return std::move(*this);
    }
    Args&& set_extra_currencies(td::Ref<vm::Cell> extra_currencies) {
      this->extra_currencies = std::move(extra_currencies);
      return std::move(*this);
    }
    Args&& set_address(block::StdAddress address) {
      this->address = address;
      return std::move(*this);
    }
    Args&& set_config(const std::shared_ptr<const block::Config>& config) {
      this->config = config;
      return std::move(*this);
    }
    Args&& set_libraries(vm::Dictionary libraries) {
      this->libraries = libraries;
      return std::move(*this);
    }
    Args&& set_prev_blocks_info(td::Ref<vm::Tuple> tuple) {
      if (tuple.is_null()) {
        this->prev_blocks_info = {};
      } else {
        this->prev_blocks_info = std::move(tuple);
      }
      return std::move(*this);
    }
    Args&& set_vm_verbosity_level(int vm_log_verbosity_level) {
      this->vm_log_verbosity_level = vm_log_verbosity_level;
      return std::move(*this);
    }
    Args&& set_debug_enabled(bool debug_enabled) {
      this->debug_enabled = debug_enabled;
      return std::move(*this);
    }

    td::Result<td::int32> get_method_id() const {
      if (!method_id) {
        return td::Status::Error("Args has no method id");
      }
      return method_id.value();
    }
    td::Result<td::BufferSlice> get_serialized_stack();
  };

  Answer run_method(Args args = {});
  Answer run_get_method(Args args = {}) const;
  Answer run_get_method(td::Slice method, Args args = {}) const;
  Answer send_external_message(td::Ref<vm::Cell> cell, Args args = {});
  Answer send_internal_message(td::Ref<vm::Cell> cell, Args args = {});

  size_t code_size() const;
  size_t data_size() const;
  static td::Ref<SmartContract> create(State state) {
    return td::Ref<SmartContract>{true, std::move(state)};
  }

  block::StdAddress get_address(WorkchainId workchain_id = basechainId) const;
  td::Ref<vm::Cell> get_init_state() const;

  const State& get_state() const {
    return state_;
  }
  CntObject* make_copy() const override {
    return new SmartContract(state_);
  }

 protected:
  State state_;
};
}  // namespace ton