1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55
|
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet PARA, INRIA Rocquencourt *)
(* *)
(* Copyright 1999 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
exception Empty
type 'a t = {mutable next : int ; mutable data : 'a array}
let default_size = 32
;;
let create x = {next = 0 ; data = Array.create default_size x}
and reset t = t.next <- 0
;;
let incr_table table new_size =
let t = Array.create new_size table.data.(0) in
Array.blit table.data 0 t 0 (Array.length table.data) ;
table.data <- t
let emit table i =
let size = Array.length table.data in
if table.next >= size then
incr_table table (2*size);
table.data.(table.next) <- i ;
table.next <- table.next + 1
let apply table f =
if table.next = 0 then
raise Empty ;
f table.data.(table.next - 1)
let to_array t = Array.sub t.data 0 t.next
let trim t =
let r = Array.sub t.data 0 t.next in
reset t ;
r
let remove_last table =
table.next <- table.next -1;
if table.next < 0 then table.next <- 0 ;
;;
let get_size table = table.next
;;
|