X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.ml;h=e99fd1f73d7bb5b863195f0736cff7a7b0c3bc86;hb=7e27afe6fa006ad355237ccc0695c6493ea57929;hp=e113010bac6bf7a2021671b9f53400bad7308ed8;hpb=ff7893db153ecd86099fab1c71be475dcc8272bf;p=SXSI%2Fxpathcomp.git diff --git a/src/logger.ml b/src/logger.ml index e113010..e99fd1f 100644 --- a/src/logger.ml +++ b/src/logger.ml @@ -3,12 +3,13 @@ open Format 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"; - "grammar"; "twopass"; "transition"; "bottom-up" ] @@ -39,8 +40,18 @@ let log t l fmt = ifprintf !logger_output fmt let print ppf fmt = - pp_open_hovbox ppf 0; 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