let res s = "<font color=\"brown\">\"" ^ s ^ "\" </font>"
-let nl () = "<br>"
+let nl = "<br>"
-let par () = "<p>"
+let par = "<p>"
(* HTML representation of a query *)
let out_ie (r, b) =
let pos = if b then "HEAD: " else "TAIL: " in
- res (pos ^ str_uref r) ^ nl () ^
- con (pos ^ str_tref (tref_uref r)) ^ nl ()
+ res (pos ^ str_uref r) ^ nl ^
+ con (pos ^ str_tref (tref_uref r)) ^ nl
let rec out_il = function
| [] -> ""
)
)
in
- out_query query ^ nl ()
+ match Mqint.execute query with
+ MQStrUri l ->
+ out_query query ^ nl ^ "Result: " ^ nl ^
+ String.concat nl l ^ nl
+ | MQRefs _ -> assert false (*CSC: ????????????????????????????? *)
in
match Str.split (Str.regexp "[ \t]+") s with
| [] -> ""
- | head :: tail -> par () ^ locate_aux head
+ | head :: tail -> par ^ locate_aux head
+;;
let backward t =
let uil = inspect t in
let til = List.map tie_uie uil in
let query = MQList (build_inter 0 til) in
- par () ^ out_query query ^ nl () (* par () ^ out_il uil ^ *)
+ match Mqint.execute query with
+ MQStrUri l ->
+ par ^ out_query query ^ nl ^ (* ^ par ^ out_il uil ^ *)
+ "Result: " ^ nl ^ String.concat nl l ^ nl
+ | MQRefs _ -> assert false (*CSC: ????????????????????????????? *)
+;;
+
+let init = Mqint.init;;
+let close = Mqint.close;;