From 9e206909f48d5d2579b6ec17764d3273df23ff08 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Thu, 10 Feb 2000 14:04:59 +0000 Subject: Introduction des blocs de type Custom. Remplacement des blocs de type Final par des blocs de type Custom. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2804 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- byterun/alloc.h | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) (limited to 'byterun/alloc.h') diff --git a/byterun/alloc.h b/byterun/alloc.h index 4f6d191f2d..39a8797d5b 100644 --- a/byterun/alloc.h +++ b/byterun/alloc.h @@ -23,12 +23,22 @@ value alloc (mlsize_t, tag_t); value alloc_small (mlsize_t, tag_t); value alloc_tuple (mlsize_t); value alloc_string (mlsize_t); -value alloc_final (mlsize_t, final_fun, mlsize_t, mlsize_t); value copy_string (char *); value copy_string_array (char **); value copy_double (double); value alloc_array (value (*funct) (char *), char ** array); -int convert_flag_list (value, int *); +value alloc_custom(struct custom_operations * ops, + unsigned long size, /*size in bytes*/ + mlsize_t mem, /*resources consumed*/ + mlsize_t max /*max resources*/); + +typedef void (*final_fun)(value); +value alloc_final (mlsize_t /*size in words*/, + final_fun, /*finalization function*/ + mlsize_t, /*resources consumed*/ + mlsize_t /*max resources*/); + +int convert_flag_list (value, int *); #endif /* _alloc_ */ -- cgit v1.2.1