4 documents : (string * int) array;
5 queries : string array;
7 val make_queryset : string list -> string list -> queryset
10 mutable input_document : int;
11 mutable input_size : int;
12 mutable print_output : bool;
13 mutable input_parsing_time : float;
14 mutable query_compile_time : float;
15 mutable query_execution_time : float;
16 mutable serialization_time : float;
17 mutable memory_usage : int;
21 | Input_document of int
24 | Input_parsing_time of int
25 | Query_compile_time of int
26 | Query_execution_time of int
27 | Serialization_time of int
29 val print_stats : Format.formatter -> stats -> unit
30 val empty_stats : unit -> stats
31 type result = (string * string) * stats array list
33 int -> in_channel -> stats -> (string * stats_token list) list -> unit
34 val build_xquery : string -> string -> string -> bool -> unit
35 val build_xslt : string -> string -> string -> bool -> unit
37 module type CONFIGURATION =
40 val result_basename : string
42 val run_without_output : bool
43 val run_with_output : bool
48 val description : string
50 val mk_queryfile : bool -> string -> string -> string -> unit
51 val mk_cmdline : bool -> string -> string -> string -> string -> string list
52 val time_factor : float
54 val parse_rules : (string * Utils.stats_token list) list
56 module type ENGINE_TESTER =
58 module Conf : CONFIGURATION
60 Utils.result list -> Utils.queryset -> Utils.result list
62 module INIT_TESTER : functor (C : CONFIGURATION) -> ENGINE_TESTER
64 functor (E : ENGINE) -> functor (C : ENGINE_TESTER) -> ENGINE_TESTER