X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Flogger.ml;fp=src%2Flogger.ml;h=e113010bac6bf7a2021671b9f53400bad7308ed8;hb=ff7893db153ecd86099fab1c71be475dcc8272bf;hp=1b123f172e85a11322e36101c20a4f0847019413;hpb=d3db422b91ed145abd0eccb83e96c97d6431fac6;p=SXSI%2Fxpathcomp.git diff --git a/src/logger.ml b/src/logger.ml index 1b123f1..e113010 100644 --- a/src/logger.ml +++ b/src/logger.ml @@ -3,7 +3,15 @@ open Format type t = string type level = int -let loggers = [ "top-down-run"; "top-down-approx"; "result-set"; "level2-jit"; "res-jit"; "grammar"; "twopass";"transition" ] +let loggers = [ "top-down-run"; + "top-down-approx"; + "result-set"; + "level2-jit"; + "res-jit"; + "grammar"; + "twopass"; + "transition"; + "bottom-up" ] let active_loggers : (t, int) Hashtbl.t = Hashtbl.create 17 let margin = List.fold_left (fun m l -> max m (String.length l)) 0 loggers let available () = loggers