Add tracing infrastructure.

[SXSI/xpathcomp.git] / src / runtime.ml

diff --git a/src/runtime.ml b/src/runtime.ml
index e32812b..d74c26a 100644 (file)
--- a/src/runtime.ml
+++ b/src/runtime.ml
@@ -1,4 +1,5 @@
 INCLUDE "debug.ml"
+INCLUDE "trace.ml"
 INCLUDE "utils.ml"
 
 open Format
@@ -189,6 +190,12 @@ module Make (U : ResJIT.S) : S with type result_set = U.NS.t =
 
 DEFINE LOOP (t, states, ctx) = (
   let _t = (t) in
+  TRACE("top-down-run", 3,
+       __ "Entering node %i (tag %s, context %i) with states %a\n%!"
+         (Node.to_int _t)
+         (Tag.to_string (Tree.tag tree _t))
+         (Node.to_int (ctx))
+         (StateSet.print) (states));
   if _t == Tree.nil then nil_res
   else
     let tag = Tree.tag tree _t in