src/common_stub.hpp

   1 #ifndef COMMON_STUB_HPP_
   2 #define COMMON_STUB_HPP_
   3
   4 extern "C" {
   5 #define CAML_NAME_SPACE
   6
   7 #include <caml/mlvalues.h>
   8 #include <caml/alloc.h>
   9 #include <caml/memory.h>
  10 #include <caml/callback.h>
  11 #include <caml/fail.h>
  12 #include <caml/custom.h>
  13 #include <caml/bigarray.h>
  14 }
  15 #include <typeinfo>
  16 #include <cstdio>
  17
  18 #define NoAlloc
  19
  20
  21 void register_custom_(char* name,
  22                       size_t size,
  23                       void (*finalize)(value v));
  24
  25 value alloc_custom_(char* name);
  26
  27 template <class X> X& Obj_val(value v)
  28 {
  29   return * (X*) Data_custom_val(v);
  30 }
  31
  32 template <class X> void sxsi_finalize_obj(X) {
  33 }
  34
  35 template <class X> void sxsi_finalize_obj(X* x){
  36   delete x;
  37 }
  38
  39 template <class X> void sxsi_finalize_custom(value v)
  40 {
  41   sxsi_finalize_obj(Obj_val<X>(v));
  42 }
  43
  44 template <class X> value
  45 sxsi_alloc_custom(void (*finalize)(value) = sxsi_finalize_custom<X>)
  46 {
  47   char * name = const_cast<char*>(typeid(X).name());
  48
  49   value v = alloc_custom_(name);
  50   if (v == Val_unit) {
  51     register_custom_(name, sizeof(X), finalize);
  52     v = alloc_custom_(name);
  53   };
  54   return v;
  55 }
  56
  57 void sxsi_raise_msg(const char * msg);
  58
  59 extern "C" value sxsi_cpp_init(value unit);
  60
  61
  62
  63 #endif