third_party/wasmer/finalizers.cc

// Copyright (c) 2020, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

#include "include/dart_api.h"
#include "include/dart_api_dl.h"

#define FINALIZER(type)                                                        \
  extern "C" void wasm_##type##_delete(void*);                                 \
  extern "C" void wasm_##type##_finalizer(void*, void* native_object) {        \
    wasm_##type##_delete(native_object);                                       \
  }                                                                            \
  DART_EXPORT void set_finalizer_for_##type(Dart_Handle dart_object,           \
                                            void* native_object) {             \
    Dart_NewFinalizableHandle_DL(dart_object, native_object, 0,                \
                                 wasm_##type##_finalizer);                     \
  }

FINALIZER(engine);
FINALIZER(store);
FINALIZER(module);
FINALIZER(instance);
FINALIZER(trap);
FINALIZER(memorytype);
FINALIZER(memory);
FINALIZER(func);