engine.hh

Go to the documentation of this file.

 
#ifndef WASMTIME_ENGINE_HH
#define WASMTIME_ENGINE_HH
 
#include <cstdlib>
#include <memory>
#include <wasmtime/config.hh>
#include <wasmtime/engine.h>
#include <wasmtime/helpers.hh>
 
namespace wasmtime {
 
class Engine {
#define wasm_engine_clone wasmtime_engine_clone
  WASMTIME_CLONE_WRAPPER(Engine, wasm_engine);
#undef wasm_engine_clone
 
  Engine() : ptr(wasm_engine_new()) {}
  explicit Engine(Config config)
      : ptr(wasm_engine_new_with_config(config.capi_release())) {
    if (!ptr) {
      std::abort();
    }
  }
 
  void increment_epoch() const { wasmtime_engine_increment_epoch(ptr.get()); }
 
  bool is_pulley() const { return wasmtime_engine_is_pulley(ptr.get()); }
};
 
} // namespace wasmtime
 
#endif // WASMTIME_ENGINE_HH