X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftracer.ml;fp=src%2Ftracer.ml;h=0000000000000000000000000000000000000000;hb=7c4c61cec6fe1ae3a1b83a59b17ce90adcfe9b0b;hp=17e05401cb6de86d548ce374013266e64e7d7069;hpb=5db22d04b3c81471dd521537a819da9ce541a171;p=SXSI%2Fxpathcomp.git

diff --git a/src/tracer.ml b/src/tracer.ml
deleted file mode 100644
index 17e0540..0000000
--- a/src/tracer.ml
+++ /dev/null
@@ -1,25 +0,0 @@
-open Format
-
-type tracer = string
-type level = int
-
-let tracers = [ "top-down-run"; "top-down-approx"; "result-set"; "level2-jit"; "res-jit"; "grammar"; "twopass" ]
-let active_tracers : (tracer, int) Hashtbl.t = Hashtbl.create 17
-
-let available () = tracers
-
-let is_tracer s = List.mem s tracers
-let level s = try Hashtbl.find active_tracers s with Not_found -> 0
-let is_active s = Hashtbl.mem active_tracers s
-let activate s lvl = if not (is_active s) then Hashtbl.add active_tracers s lvl
-let deactivate s = Hashtbl.remove active_tracers s
-
-let tracer_output = ref err_formatter
-let set_output f = tracer_output := f
-
-let trace t l s =
-  if l <= level t
-  then begin
-    fprintf !tracer_output "%s: " t;
-    fprintf !tracer_output "%s%!" s
-  end