table.hh

Go to the documentation of this file.

 
#ifndef WASMTIME_TYPES_TABLE_HH
#define WASMTIME_TYPES_TABLE_HH
 
#include <optional>
#include <wasmtime/types/val.hh>
 
namespace wasmtime {
 
class TableType {
  friend class Table;
 
  struct deleter {
    void operator()(wasm_tabletype_t *p) const { wasm_tabletype_delete(p); }
  };
 
  std::unique_ptr<wasm_tabletype_t, deleter> ptr;
 
public:
  class Ref {
    friend class TableType;
 
    const wasm_tabletype_t *ptr;
 
  public:
    Ref(const wasm_tabletype_t *ptr) : ptr(ptr) {}
    Ref(const TableType &ty) : Ref(ty.ptr.get()) {}
 
    uint32_t min() const { return wasm_tabletype_limits(ptr)->min; }
 
    std::optional<uint32_t> max() const {
      const auto *limits = wasm_tabletype_limits(ptr);
      if (limits->max == wasm_limits_max_default) {
        return std::nullopt;
      }
      return limits->max;
    }
 
    ValType::Ref element() const { return wasm_tabletype_element(ptr); }
  };
 
private:
  Ref ref;
  TableType(wasm_tabletype_t *ptr) : ptr(ptr), ref(ptr) {}
 
public:
  TableType(ValType ty, uint32_t min) : ptr(nullptr), ref(nullptr) {
    wasm_limits_t limits;
    limits.min = min;
    limits.max = wasm_limits_max_default;
    ptr.reset(wasm_tabletype_new(ty.ptr.release(), &limits));
    ref = ptr.get();
  }
  TableType(ValType ty, uint32_t min, uint32_t max) // NOLINT
      : ptr(nullptr), ref(nullptr) {
    wasm_limits_t limits;
    limits.min = min;
    limits.max = max;
    ptr.reset(wasm_tabletype_new(ty.ptr.release(), &limits));
    ref = ptr.get();
  }
  TableType(Ref other) : TableType(wasm_tabletype_copy(other.ptr)) {}
  TableType(const TableType &other)
      : TableType(wasm_tabletype_copy(other.ptr.get())) {}
  TableType &operator=(const TableType &other) {
    ptr.reset(wasm_tabletype_copy(other.ptr.get()));
    return *this;
  }
  ~TableType() = default;
  TableType(TableType &&other) = default;
  TableType &operator=(TableType &&other) = default;
 
  Ref *operator->() { return &ref; }
  Ref *operator*() { return &ref; }
};
 
}; // namespace wasmtime
 
#endif // WASMTIME_TYPES_TABLE_HH