let t = P.start_time () in
P.text_of_query (C.log h) "\n" x;
let s = P.stop_time t in
- if C.set h C.Stat then
+ if C.set h C.Times then
C.log h (Printf.sprintf "Log source: %s\n" s);
eval_query c x
end else begin
let t = P.start_time () in
P.text_of_result (C.log h) "\n" s;
let r = P.stop_time t in
- if C.set h C.Stat then
+ if C.set h C.Times then
C.log h (Printf.sprintf "Log: %s\n" r);
s
end
let t = P.start_time () in
let r = MQIProperty.exec h q1 subj cons_true cons_false exp in
let s = P.stop_time t in
- if C.set h C.Stat then
+ if C.set h C.Times then
C.log h (Printf.sprintf "Property: %s,%i\n" s (List.length r));
r
| M.StatQuery x ->
with Not_found -> warn (M.AVar i); []
in
let c = {svars = []; avars = []; groups = []; vvars = []} in
- let t = P.start_time () in
+ let t = P.start_time () in
+ if C.set h C.Source then P.text_of_query (C.log h) "\n" x;
let r = eval_query c x in
+ if C.set h C.Result then P.text_of_result (C.log h) "\n" r;
let s = P.stop_time t in
- if C.set h C.Stat then
+ if C.set h C.Times then
C.log h (Printf.sprintf "MQIExecute: %s,%s\n" s
(C.string_of_flags (C.flags h)));
r