/***********************************************************************/ /* */ /* Objective Caml */ /* */ /* Manuel Serrano and Xavier Leroy, INRIA Rocquencourt */ /* */ /* Copyright 2000 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ /* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ /***--------------------------------------------------------------------- Modified and adapted for the Lazy Virtual Machine by Daan Leijen. Modifications copyright 2001, Daan Leijen. This (modified) file is distributed under the terms of the GNU Library General Public License. ---------------------------------------------------------------------***/ /* $Id$ */ #ifndef _custom_ #define _custom_ struct custom_operations { char *identifier; void (*finalize)(value v); int (*compare)(value v1, value v2); long (*hash)(value v); void (*serialize)(value v, /*out*/ unsigned long * wsize_32 /*size in bytes*/, /*out*/ unsigned long * wsize_64 /*size in bytes*/); unsigned long (*deserialize)(void * dst); }; #define custom_finalize_default NULL extern int custom_compare_default(value v1, value v2); #define custom_hash_default NULL extern void custom_serialize_default(value v, unsigned long * wsize_32, unsigned long * wsize_64); #define custom_deserialize_default NULL #define Custom_ops_val(v) (*((struct custom_operations **) (v))) value alloc_custom(struct custom_operations * ops, unsigned long size, /*size in bytes*/ mlsize_t mem, /*resources consumed*/ mlsize_t max /*max resources*/); void register_custom_operations(struct custom_operations * ops); struct custom_operations * find_custom_operations(char * ident); struct custom_operations * final_custom_operations(void (*fn)(value)); void init_custom_operations(void); #endif