X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fbenchmark.mli;fp=benchmark%2Fbenchmark.mli;h=0000000000000000000000000000000000000000;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=3e8e40ffd09893337dc7570b770548a0578efa92;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/benchmark.mli b/benchmark/benchmark.mli
deleted file mode 100644
index 3e8e40f..0000000
--- a/benchmark/benchmark.mli
+++ /dev/null
@@ -1,64 +0,0 @@
-module Utils :
-  sig
-    type queryset = {
-      documents : (string * int) array;
-      queries : string array;
-    }
-    val make_queryset : string list -> string list -> queryset
-    type stats = {
-      mutable query : int;
-      mutable input_document : int;
-      mutable input_size : int;
-      mutable print_output : bool;
-      mutable input_parsing_time : float;
-      mutable query_compile_time : float;
-      mutable query_execution_time : float;
-      mutable serialization_time : float;
-      mutable memory_usage : int;
-    }
-    type stats_token =
-        Query of int
-      | Input_document of int
-      | Print_output of int
-      | Input_size of int
-      | Input_parsing_time of int
-      | Query_compile_time of int
-      | Query_execution_time of int
-      | Serialization_time of int
-      | Memory_usage of int
-    val print_stats : Format.formatter -> stats -> unit
-    val empty_stats : unit -> stats
-    type result = (string * string) * stats array list
-    val parse_result :
-      int -> in_channel -> stats -> (string * stats_token list) list -> unit
-    val build_xquery : string -> string -> string -> bool -> unit
-    val build_xslt : string -> string -> string -> bool -> unit
-  end
-module type CONFIGURATION =
-  sig 
-    val path : string 
-    val result_basename : string 
-    val num_runs : int
-    val run_without_output : bool
-    val run_with_output : bool
-  end
-module type ENGINE =
-  sig
-    val name : string
-    val description : string
-    val command : string
-    val mk_queryfile : bool -> string -> string -> string -> unit
-    val mk_cmdline : bool -> string -> string -> string -> string -> string list
-    val time_factor : float
-    val reference : bool
-    val parse_rules : (string * Utils.stats_token list) list
-  end
-module type ENGINE_TESTER =
-  sig
-    module Conf : CONFIGURATION
-    val test_engine :
-      Utils.result list -> Utils.queryset -> Utils.result list
-  end
-module INIT_TESTER : functor (C : CONFIGURATION) -> ENGINE_TESTER
-module MK :
-  functor (E : ENGINE) -> functor (C : ENGINE_TESTER) -> ENGINE_TESTER