diff options
Diffstat (limited to 'utils/consistbl.ml')
| -rw-r--r-- | utils/consistbl.ml | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/utils/consistbl.ml b/utils/consistbl.ml deleted file mode 100644 index d01d7c8735..0000000000 --- a/utils/consistbl.ml +++ /dev/null @@ -1,57 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 2002 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -(* Consistency tables: for checking consistency of module CRCs *) - -type t = (string, Digest.t * string) Hashtbl.t - -let create () = Hashtbl.create 13 - -let clear = Hashtbl.clear - -exception Inconsistency of string * string * string - -exception Not_available of string - -let check tbl name crc source = - try - let (old_crc, old_source) = Hashtbl.find tbl name in - if crc <> old_crc then raise(Inconsistency(name, source, old_source)) - with Not_found -> - Hashtbl.add tbl name (crc, source) - -let check_noadd tbl name crc source = - try - let (old_crc, old_source) = Hashtbl.find tbl name in - if crc <> old_crc then raise(Inconsistency(name, source, old_source)) - with Not_found -> - raise (Not_available name) - -let set tbl name crc source = Hashtbl.add tbl name (crc, source) - -let source tbl name = snd (Hashtbl.find tbl name) - -let extract tbl = - Hashtbl.fold (fun name (crc, auth) accu -> (name, crc) :: accu) tbl [] - -let filter p tbl = - let to_remove = ref [] in - Hashtbl.iter - (fun name (crc, auth) -> - if not (p name) then to_remove := name :: !to_remove) - tbl; - List.iter - (fun name -> - while Hashtbl.mem tbl name do Hashtbl.remove tbl name done) - !to_remove |