-DIRS = ocaml hbugs gTopLevel searchEngine mathql_test
+DIRS = ocaml gTopLevel searchEngine mathql_test
+# hbugs
DIRS_BYTE = $(patsubst %,%.byte,$(DIRS))
DIRS_OPT = $(patsubst %,%.opt,$(DIRS))
+termEditor.cmi: disambiguate.cmi
+texTermEditor.cmi: disambiguate.cmi
+invokeTactics.cmi: termEditor.cmi termViewer.cmi
proofEngine.cmo: proofEngine.cmi
proofEngine.cmx: proofEngine.cmi
logicalOperations.cmo: proofEngine.cmi logicalOperations.cmi
disambiguate.cmx: disambiguate.cmi
termEditor.cmo: disambiguate.cmi termEditor.cmi
termEditor.cmx: disambiguate.cmx termEditor.cmi
-termEditor.cmi: disambiguate.cmi
texTermEditor.cmo: disambiguate.cmi texTermEditor.cmi
texTermEditor.cmx: disambiguate.cmx texTermEditor.cmi
-texTermEditor.cmi: disambiguate.cmi
xmlDiff.cmo: xmlDiff.cmi
xmlDiff.cmx: xmlDiff.cmi
termViewer.cmo: logicalOperations.cmi xmlDiff.cmi termViewer.cmi
termViewer.cmi invokeTactics.cmi
invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \
termViewer.cmx invokeTactics.cmi
-invokeTactics.cmi: termEditor.cmi termViewer.cmi
-hbugs.cmo: invokeTactics.cmi proofEngine.cmi hbugs.cmi
-hbugs.cmx: invokeTactics.cmx proofEngine.cmx hbugs.cmi
-hbugs.cmi: invokeTactics.cmi
-gTopLevel.cmo: hbugs.cmi invokeTactics.cmi logicalOperations.cmi \
- proofEngine.cmi termEditor.cmi termViewer.cmi texTermEditor.cmi
-gTopLevel.cmx: hbugs.cmx invokeTactics.cmx logicalOperations.cmx \
- proofEngine.cmx termEditor.cmx termViewer.cmx texTermEditor.cmx
+gTopLevel.cmo: invokeTactics.cmi logicalOperations.cmi proofEngine.cmi \
+ termEditor.cmi termViewer.cmi texTermEditor.cmi
+gTopLevel.cmx: invokeTactics.cmx logicalOperations.cmx proofEngine.cmx \
+ termEditor.cmx termViewer.cmx texTermEditor.cmx
MQueryMisc.wrong_xpointer_format_from_wrong_xpointer_format' uri
) result in
C.output_html "<h1>Locate Query: </h1><pre>";
- MQueryUtil.text_of_query C.output_html query "";
+ MQueryUtil.text_of_query C.output_html "" query;
C.output_html "<h1>Result:</h1>";
- MQueryUtil.text_of_result C.output_html result "<br>";
+ MQueryUtil.text_of_result C.output_html "<br>" result;
let uris' =
match uris with
[] ->
MQueryMisc.wrong_xpointer_format_from_wrong_xpointer_format' uri)
result in
out "<h1>Locate Query: </h1><pre>";
- MQueryUtil.text_of_query out query "";
+ MQueryUtil.text_of_query out "" query;
out "<h1>Result:</h1>";
- MQueryUtil.text_of_result out result "<br>";
+ MQueryUtil.text_of_result out "<br>" result;
user_uri_choice ~title:"Ambiguous input."
~msg:
("Ambiguous input \"" ^ id ^
let out = output_string och in
if ! query_num = 1 then out (time () ^ nl);
out ("Query: " ^ string_of_int ! query_num ^ nl);
- U.text_of_query out q nl;
+ U.text_of_query out nl q;
out ("Result: " ^ nl);
- U.text_of_result out r nl;
+ U.text_of_result out nl r;
close_out och
in
- if ! show_queries then U.text_of_query (output_string stdout) q nl;
+ if ! show_queries then U.text_of_query (output_string stdout) nl q;
let r = I.execute handle q in
- U.text_of_result (output_string stdout) r nl;
+ U.text_of_result (output_string stdout) nl r;
if ! log_file <> "" then log q r;
incr query_num;
flush stdout
let ich = Lexing.from_channel stdin in
let rec aux () =
let t = U.start_time () in
- U.text_of_query print_string (U.query_of_text ich) "\n";
+ U.text_of_query print_string "\n" (U.query_of_text ich);
Printf.printf "mqtop: query: %s\n" (U.stop_time t);
flush stdout; aux()
in
mQIConn.cmi: mQIMap.cmi
mQIProperty.cmi: mQIConn.cmi
mQueryInterpreter.cmi: mQIConn.cmi
-mQueryTParser.cmo: mQueryTParser.cmi
-mQueryTParser.cmx: mQueryTParser.cmi
-mQueryTLexer.cmo: mQueryTParser.cmi
+mQueryTLexer.cmo: mQueryTParser.cmo
mQueryTLexer.cmx: mQueryTParser.cmx
-mQueryUtil.cmo: mQueryTLexer.cmo mQueryTParser.cmi mQueryUtil.cmi
+mQueryUtil.cmo: mQueryTLexer.cmo mQueryTParser.cmo mQueryUtil.cmi
mQueryUtil.cmx: mQueryTLexer.cmx mQueryTParser.cmx mQueryUtil.cmi
mQIUtil.cmo: mQIUtil.cmi
mQIUtil.cmx: mQIUtil.cmi
if C.set h C.Warn then
begin
C.log h "MQIExecute: waring: reference to undefined variables: ";
- P.text_of_query (C.log h) q "\n"
+ P.text_of_query (C.log h) "\n" q
end
in
let rec eval_val c = function
| M.Log (_,b,x) ->
if b then begin
let t = P.start_time () in
- P.text_of_query (C.log h) x "\n";
+ P.text_of_query (C.log h) "\n" x;
let s = P.stop_time t in
if C.set h C.Stat then
C.log h (Printf.sprintf "Log source: %s\n" s);
end else begin
let s = (eval_query c x) in
let t = P.start_time () in
- P.text_of_result (C.log h) s "\n";
+ P.text_of_result (C.log h) "\n" s;
let r = P.stop_time t in
if C.set h C.Stat then
C.log h (Printf.sprintf "Log: %s\n" r);
let txt_path out p = out "/"; txt_list out (txt_str out) "/" p
-let text_of_query out x sep =
+let text_of_query out sep x =
let module M = MathQL in
let txt_path_list l = txt_list out (txt_path out) ", " l in
let txt_svar sv = out ("%" ^ sv) in
in
txt_set x; out sep
-let text_of_result out x sep =
+let text_of_result out sep x =
let txt_attr = function
| (p, []) -> txt_path out p
| (p, l) -> txt_path out p; out " = "; txt_list out (txt_str out) ", " l
(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
*)
-val text_of_query : (string -> unit) -> MathQL.query -> string -> unit
+val text_of_query : (string -> unit) -> string -> MathQL.query -> unit
-val text_of_result : (string -> unit) -> MathQL.result -> string -> unit
+val text_of_result : (string -> unit) -> string -> MathQL.result -> unit
val query_of_text : Lexing.lexbuf -> MathQL.query
let msg = Pcre.replace ~pat:"\'" ~templ:"\\\'" msg in
(match selection_mode with
| `SINGLE -> assert false
- | `EXTENDED ->
+ | `MULTIPLE ->
Http_daemon.send_basic_headers ~code:200 outchan ;
Http_daemon.send_CRLF outchan ;
iter_file