X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fwrappers.c;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fwrappers.c;h=0000000000000000000000000000000000000000;hp=7e83aa99ba6805f2cf146d8b1c102da7a67caec9;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/wrappers.c b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/wrappers.c
deleted file mode 100644
index 7e83aa99b..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/wrappers.c
+++ /dev/null
@@ -1,76 +0,0 @@
-/* $Id$ */
-
-#include <string.h>
-#include <caml/mlvalues.h>
-#include <caml/alloc.h>
-#include <caml/memory.h>
-#include <caml/callback.h>
-#include <caml/fail.h>
-
-#include "wrappers.h"
-
-value copy_memblock_indirected (void *src, asize_t size)
-{
-    value ret = alloc (Wosize_asize(size)+2, Abstract_tag);
-    if (!src) ml_raise_null_pointer ();
-    
-    Field(ret,1) = 2;
-    memcpy (&Field(ret,2), src, size);
-    return ret;
-}
-
-value ml_some (value v)
-{
-     CAMLparam1(v);
-     value ret = alloc_small(1,0);
-     Field(ret,0) = v;
-     CAMLreturn(ret);
-}
-
-void ml_raise_null_pointer ()
-{
-  static value * exn = NULL;
-  if (exn == NULL)
-      exn = caml_named_value ("null_pointer");
-  raise_constant (*exn);
-}   
-
-value Val_pointer (void *ptr)
-{
-    value ret = alloc_small (2, Abstract_tag);
-    if (!ptr) ml_raise_null_pointer ();
-    Field(ret,1) = (value)ptr;
-    return ret;
-}
-
-value copy_string_check (const char*str)
-{
-    if (!str) ml_raise_null_pointer ();
-    return copy_string ((char*) str);
-}
-
-value copy_string_or_null (const char*str)
-{
-    return copy_string (str ? (char*) str : "");
-}
-
-value ml_lookup_from_c (lookup_info *table, int data)
-{
-    int i;
-    for (i = table[0].data; i > 0; i--)
-	if (table[i].data == data) return table[i].key;
-    invalid_argument ("ml_lookup_from_c");
-}
-    
-int ml_lookup_to_c (lookup_info *table, value key)
-{
-    int first = 1, last = table[0].data, current;
-
-    while (first < last) {
-	current = (first+last)/2;
-	if (table[current].key >= key) last = current;
-	else first = current + 1;
-    }
-    if (table[first].key == key) return table[first].data;
-    invalid_argument ("ml_lookup_to_c");
-}