From 43a31a961878f0d7b4c7bec792a753751abb3f13 Mon Sep 17 00:00:00 2001 From: Lucca Hirschi Date: Tue, 17 Jul 2012 13:02:29 +0200 Subject: [PATCH] Main for benchmarks. --- src/bench.ml | 48 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 src/bench.ml diff --git a/src/bench.ml b/src/bench.ml new file mode 100644 index 0000000..563f1d5 --- /dev/null +++ b/src/bench.ml @@ -0,0 +1,48 @@ +(***********************************************************************) +(* *) +(* TAToo *) +(* *) +(* Kim Nguyen, LRI UMR8623 *) +(* Université Paris-Sud & CNRS *) +(* *) +(* Copyright 2010-2012 Université Paris-Sud and Centre National de la *) +(* Recherche Scientifique. All rights reserved. This file is *) +(* distributed under the terms of the GNU Lesser General Public *) +(* License, with the special exception on linking described in file *) +(* ../LICENSE. *) +(* *) +(***********************************************************************) + + +(** use: [./test xml_file -f XPath_queries_file] + only the first line is read. +*) + +open Format + +let doc () = + let fd = open_in Sys.argv.(1) in + let d = Tree.load_xml_file fd in + close_in fd; + d + + +let query () = + let arg2 = Sys.argv.(2) in + if arg2 = "-f" + then let fq = open_in Sys.argv.(3) in + let q = XPath.parse_file fq in + close_in fq; + q + else failwith "Use ./test xml_file -f XPath_queries_file" + +let compute_run doc query = + let run = Run.selected_nodes doc query in + run + +let () = + let doc = doc () in + let query = query () in + let asta = Compil.trans query in + let _ = compute_run doc asta in + exit 0 -- 2.17.1