let default_confirm q =
let module Util = MQueryUtil in
- if ! show_queries then print_string (Util.text_of_query q ^ nl);
+ if ! show_queries then Util.text_of_query print_string q nl;
let b = check_db () in
if ! db_down then print_endline "db_down"; b
Gen.set_confirm_query default_confirm;
try
let q = Util.query_of_text (Lexing.from_channel ich) in
- print_endline (Util.text_of_result (Gen.execute_query q) nl);
+ Util.text_of_result print_string (Gen.execute_query q) nl;
flush stdout
with Gen.Discard -> ()
let module Gen = MQueryGenerator in
Gen.set_confirm_query default_confirm;
try
- print_endline (Util.text_of_result (Gen.locate name) nl);
+ Util.text_of_result print_string (Gen.locate name) nl;
flush stdout
with Gen.Discard -> ()
if Mqint.get_stat () then
print_string ("? " ^ CicPp.ppterm term ^ nl);
let t0 = Sys.time () in
+
+
+
+
+(* FG: Mettere a posto qui.
let list_of_must,can = MQueryLevels.out_restr [] [] term in
let len = List.length list_of_must in
let must = if level < len then List.nth list_of_must level else can in
- let r = Gen.searchPattern [] [] term must can in
+*)
+
+ let r = [] (* FG e anche qui: Gen.searchPattern must can *) in
let t1 = Sys.time () -. t0 in
let info = Gen.get_query_info () in
let num = List.nth info 0 in
let gen = List.nth info 1 in
if Mqint.get_stat () then
print_string (num ^ " GEN = " ^ gen ^ ":" ^ string_of_float t1 ^ "s" ^ nl);
- print_string (Util.text_of_result r nl);
+ Util.text_of_result print_string r nl;
flush stdout
with Gen.Discard -> ()
in