Add tracing infrastructure.

[SXSI/xpathcomp.git] / src / tracer.mli

diff --git a/src/tracer.mli b/src/tracer.mli
new file mode 100644 (file)
index 0000000..99c078b
--- /dev/null
+++ b/src/tracer.mli
@@ -0,0 +1,11 @@
+type tracer = string
+type level = int
+val is_tracer : tracer -> bool
+val is_active : tracer -> bool
+val level : tracer -> level
+val activate : tracer -> level -> unit
+val deactivate : tracer -> unit
+val set_output : Format.formatter -> unit
+val trace : tracer -> level -> string -> unit
+
+val available : unit -> string list