(******************************************************************************)
(* CSC: IMPERATIVE AND NOT VERY CLEAN, TO GET THE LAST ISSUED QUERY *)
+(* FG : THIS FUNCTION IS BECOMING A REAL NONSENSE *)
let get_last_query =
let query = ref "" in
+ let out s = query := ! query ^ s in
MQueryGenerator.set_confirm_query
- (function q -> query := MQueryUtil.text_of_query q ; true) ;
+ (function q ->
+ query := ""; MQueryUtil.text_of_query out q ""; true);
function result ->
- !query ^ " <h1>Result:</h1> " ^ MQueryUtil.text_of_result result "<br>"
+ out (!query ^ " <h1>Result:</h1> "); MQueryUtil.text_of_result out result "<br>";
+ !query
;;
(** This module provides a functor to disambiguate the input **)
let uris =
List.map
(function uri,_ ->
- Misc.wrong_xpointer_format_from_wrong_xpointer_format' uri
+ MQueryMisc.wrong_xpointer_format_from_wrong_xpointer_format' uri
) result in
let html=
" <h1>Locate Query: </h1><pre>" ^ get_last_query result ^ "</pre>"
~id
uris
in
- List.map Misc.cic_textual_parser_uri_of_string uris'
+ List.map MQueryMisc.cic_textual_parser_uri_of_string uris'
exception ThereDoesNotExistAnyWellTypedInterpretationOfTheInput