engine.hh

Go to the documentation of this file.

 
#ifndef WASMTIME_ENGINE_HH
#define WASMTIME_ENGINE_HH
 
#include <memory>
#include <wasmtime/config.hh>
#include <wasmtime/engine.h>
 
namespace wasmtime {
 
class Engine {
  friend class Store;
  friend class Module;
  friend class Linker;
 
  struct deleter {
    void operator()(wasm_engine_t *p) const { wasm_engine_delete(p); }
  };
 
  std::unique_ptr<wasm_engine_t, deleter> ptr;
 
public:
  Engine() : ptr(wasm_engine_new()) {}
  explicit Engine(Config config)
      : ptr(wasm_engine_new_with_config(config.ptr.release())) {}
 
  Engine(const Engine &other) : ptr(wasmtime_engine_clone(other.ptr.get())) {}
  Engine &operator=(const Engine &other) {
    ptr.reset(wasmtime_engine_clone(other.ptr.get()));
    return *this;
  }
  ~Engine() = default;
  Engine(Engine &&other) = default;
  Engine &operator=(Engine &&other) = default;
 
  void increment_epoch() const { wasmtime_engine_increment_epoch(ptr.get()); }
 
  void is_pulley() const { wasmtime_engine_is_pulley(ptr.get()); }
};
 
} // namespace wasmtime
 
#endif // WASMTIME_ENGINE_HH