From: Kim Nguyễn <kn@lri.fr>
Date: Mon, 2 Apr 2012 12:39:58 +0000 (+0200)
Subject: Remove unused memory profiling code.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=SXSI%2Fxpathcomp.git;a=commitdiff_plain;h=718a2eff89f4798ee47e055556f500dc950a82b7

Remove unused memory profiling code.
---

diff --git a/src/memory.ml b/src/memory.ml
deleted file mode 100644
index a5a19fd..0000000
--- a/src/memory.ml
+++ /dev/null
@@ -1,40 +0,0 @@
-(******************************************************************************)
-(*  SXSI : XPath evaluator                                                    *)
-(*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
-(*  Copyright NICTA 2008                                                      *)
-(*  Distributed under the terms of the LGPL (see LICENCE)                     *)
-(******************************************************************************)
-
-let globals = Hashtbl.create 107
-let cpt = ref 0
-
-let register v str = 
-  let _cpt = !cpt in
-  let f = (* This function must not take v as argument, otherwise
-	     v won't be garbage collected *)
-    fun _ -> Hashtbl.remove globals _cpt
-  in
-    Hashtbl.add globals _cpt str;
-    incr cpt;
-    Gc.finalise f v
-;;
-
-let schedule_stats =
-  let first = ref true in
-    function () -> if !first
-    then
-      let show_leaked_values () = 
-	Printf.eprintf "Memory debugging requested :\n%!";
-	Printf.eprintf "Triggering major collection :%!";
-	Gc.full_major();
-	Printf.eprintf " ok\n%!";
-	Printf.eprintf "Triggering memory compaction :%!";
-	Gc.compact();
-	Printf.eprintf " ok\n%!";
-	let i = Hashtbl.length globals in
-	  Printf.eprintf "%i object%s leaked\n%!" i (if i < 2 then "" else "s");
-	  Hashtbl.iter (fun key msg ->
-			  Printf.printf "Value %i, registered at %s has not been collected\n" key msg) globals
-      in at_exit show_leaked_values; first := false
-    else ()
-
diff --git a/src/memory.mli b/src/memory.mli
deleted file mode 100644
index 3531e53..0000000
--- a/src/memory.mli
+++ /dev/null
@@ -1,9 +0,0 @@
-(******************************************************************************)
-(*  SXSI : XPath evaluator                                                    *)
-(*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
-(*  Copyright NICTA 2008                                                      *)
-(*  Distributed under the terms of the LGPL (see LICENCE)                     *)
-(******************************************************************************)
-val register : 'a -> string -> unit
-val schedule_stats : unit -> unit
-