projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1592569) | patch
Add tracing infrastructure.
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sun, 5 Feb 2012 18:54:18 +0000 (18:54 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sun, 5 Feb 2012 18:54:18 +0000 (18:54 +0000)
commit43906e89a76c67491e2a567990980df787036088
treea5c52f6e74a0796d083d1cf9824da038874718a4tree | snapshot
parent15925690fee382ffc7d78fa2fed8b686c180ec99commit | diff
Add tracing infrastructure.

Adds the tracing instruction:
     TRACE(t, l, __ format arg1 arg2 ... argn)
where t is a tracer (that can be enabled on the command line) and
l is a level. Any TRACE whose level is below the one specified on
the command line for the tracer is printed.

The project is built without -trace, the TRACE() command is a noop.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1194 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
include/debug.ml diff | blob | history
include/trace.ml [new file with mode: 0644] blob
myocamlbuild.ml diff | blob | history
src/options.ml diff | blob | history
src/runtime.ml diff | blob | history
src/tracer.ml [new file with mode: 0644] blob
src/tracer.mli [new file with mode: 0644] blob
src/utils.ml [new file with mode: 0644] blob
XPath Library based on tree automata.