- output_string output "<xml_result>\n";
- if !Options.count then begin
- output_string output (string_of_int (List.length results));
- output_char output '\n';
- end else
- List.iter (fun n ->
- Naive_tree.print_xml output doc n;
- output_char output '\n'
- ) results;
- output_string output "</xml_result>\n";
- flush output;
- if output != stdout then close_out output
+ let count = ref 1 in
+ List.iter (fun results ->
+ output_string output "<xml_result num=\"";
+ output_string output (string_of_int !count);
+ output_string output "\" >\n";
+ if !Options.count then begin
+ output_string output (string_of_int (List.length results));
+ output_char output '\n';
+ end else
+ List.iter (fun n ->
+ Naive_tree.print_xml output doc n;
+ output_char output '\n'
+ ) results;
+ output_string output "</xml_result>\n";
+ incr count
+ ) result_list;
+ flush output;
+ if output != stdout then close_out output