projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
i
[SXSI/xpathcomp.git]
/
src
/
common_stub.hpp
diff --git
a/src/common_stub.hpp
b/src/common_stub.hpp
index
47b6dcd
..
45aa0ca
100644
(file)
--- a/
src/common_stub.hpp
+++ b/
src/common_stub.hpp
@@
-1,5
+1,5
@@
-#ifndef COMMON_STUB_H_
-#define COMMON_STUB_H_
+#ifndef COMMON_STUB_H
PP
_
+#define COMMON_STUB_H
PP
_
extern "C" {
#define CAML_NAME_SPACE
extern "C" {
#define CAML_NAME_SPACE
@@
-13,6
+13,10
@@
extern "C" {
#include <caml/bigarray.h>
}
#include <typeinfo>
#include <caml/bigarray.h>
}
#include <typeinfo>
+#include <cstdio>
+#include <cassert>
+
+#define NoAlloc
void register_custom_(char* name,
void register_custom_(char* name,
@@
-23,6
+27,7
@@
value alloc_custom_(char* name);
template <class X> X& Obj_val(value v)
{
template <class X> X& Obj_val(value v)
{
+ assert(Tag_val(v) == Custom_tag);
return * (X*) Data_custom_val(v);
}
return * (X*) Data_custom_val(v);
}
@@
-38,7
+43,8
@@
template <class X> void sxsi_finalize_custom(value v)
sxsi_finalize_obj(Obj_val<X>(v));
}
sxsi_finalize_obj(Obj_val<X>(v));
}
-template <class X> value sxsi_alloc_custom(void (*finalize)(value) = sxsi_finalize_custom<X>)
+template <class X> value
+sxsi_alloc_custom(void (*finalize)(value) = sxsi_finalize_custom<X>)
{
char * name = const_cast<char*>(typeid(X).name());
{
char * name = const_cast<char*>(typeid(X).name());
@@
-50,7
+56,7
@@
template <class X> value sxsi_alloc_custom(void (*finalize)(value) = sxsi_finali
return v;
}
return v;
}
-void sxsi_raise_msg(char * msg);
+void sxsi_raise_msg(c
onst c
har * msg);
extern "C" value sxsi_cpp_init(value unit);
extern "C" value sxsi_cpp_init(value unit);