Merge branch 'local-ocamlbuild' into local-trunk

[SXSI/xpathcomp.git] / include / debug.ml

diff --git a/include/debug.ml b/include/debug.ml
new file mode 100644 (file)
index 0000000..e3694ab
--- /dev/null
+++ b/include/debug.ml
@@ -0,0 +1,51 @@
+(******************************************************************************)
+(*  SXSI : XPath evaluator                                                    *)
+(*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
+(*  Copyright NICTA 2008                                                      *)
+(*  Distributed under the terms of the LGPL (see LICENCE)                     *)
+(******************************************************************************)
+
+(* This file should not be compiled but included with INCLUDE. This requires
+   pa_macro.cmo to be loaded (see Makefile)
+*)
+
+IFNDEF DEBUG__ML__
+THEN
+DEFINE DEBUG__ML__
+
+IFDEF DEBUG
+THEN
+module Loc = Camlp4.PreCast.Loc
+
+DEFINE D_IGNORE_(e1,e2) = (let () = e1 in ();e2)
+DEFINE D_IF_(e1,e2) = e1
+DEFINE D_TRACE_(e) = e
+
+
+ELSE
+DEFINE D_IGNORE_(e1,e2) = (e2)
+DEFINE D_IF_(e1,e2) = e2
+DEFINE D_TRACE_(e) = ()
+
+END (* IFDEF DEBUG *)
+
+
+IFDEF PROFILE
+THEN
+DEFINE REGISTER_PROF_(s) = (Hashtbl.replace Profile.table ("", s) (ref (0, [])))
+DEFINE PROF_(s, e) =
+  let ___tmp_t1 = Unix.gettimeofday () in
+  let ___tmp_result = e in
+  let ___tmp_t2 = Unix.gettimeofday () in
+  let ___r = Hashtbl.find Profile.table ("", s) in
+  let ___c,___tl = !___r in
+  ___r := (___c+1, ((___tmp_t2 -. ___tmp_t1) *. 1000.)::___tl);
+  ___tmp_result
+
+ELSE
+DEFINE PROF_(s, e) = e
+DEFINE REGISTER_PROF_(s) = ()
+END
+
+
+END (* IFNDEF DEBUG__ML__ *)