projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make the time function re-entrant.
[SXSI/xpathcomp.git]
/
src
/
logger.ml
diff --git
a/src/logger.ml
b/src/logger.ml
index
e113010
..
e99fd1f
100644
(file)
--- a/
src/logger.ml
+++ b/
src/logger.ml
@@
-3,12
+3,13
@@
open Format
type t = string
type level = int
type t = string
type level = int
-let loggers = [ "top-down-run";
+let loggers = [ "parsing";
+ "indexing";
+ "top-down-run";
"top-down-approx";
"result-set";
"level2-jit";
"res-jit";
"top-down-approx";
"result-set";
"level2-jit";
"res-jit";
- "grammar";
"twopass";
"transition";
"bottom-up" ]
"twopass";
"transition";
"bottom-up" ]
@@
-39,8
+40,18
@@
let log t l fmt =
ifprintf !logger_output fmt
let print ppf fmt =
ifprintf !logger_output fmt
let print ppf fmt =
- pp_open_hovbox ppf 0;
kfprintf (fun _ ->
kfprintf (fun _ ->
- pp_close_box ppf ();
+ fprintf ppf "@?")
+ ppf fmt
+
+let _verbose = ref false
+let set_verbose b = _verbose := b
+let verbose ppf fmt =
+ if !_verbose then begin
+ kfprintf (fun _ ->
+ fprintf ppf "@?")
+ ppf fmt
+ end else
+ ikfprintf (fun _ ->
fprintf ppf "@?")
ppf fmt
fprintf ppf "@?")
ppf fmt