- fprintf err_formatter "Query: %a\n"
- XPath.Ast.print query;
- let rec print_selec fmt l = match l with
- | [x] -> fprintf fmt "%s" (string_of_int x)
- | x :: tl -> fprintf fmt "%s" ((string_of_int x)^"; ");print_selec fmt tl
- | [] -> fprintf fmt "%s" "ø" in
- fprintf err_formatter "@.@. # Selected nodes: {%a}@."
- print_selec selected_nodes in
+ let run = compute_run doc asta in
+ if flag
+ then
+ fprintf err_formatter " ### Query: %a"
+ XPath.Ast.print query
+ else ();
+ if flag2 then
+ fprintf err_formatter "@. ### Selected nodes: {%a}@."
+ print_selec selected_nodes
+ else ();
+ if flag
+ then begin
+ Asta.print err_formatter asta;
+ Run.print err_formatter run;
+ end
+ else ();
+ solve_queries tl in