1 (***********************************************************************)
5 (* Kim Nguyen, LRI UMR8623 *)
6 (* Université Paris-Sud & CNRS *)
8 (* Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
9 (* Recherche Scientifique. All rights reserved. This file is *)
10 (* distributed under the terms of the GNU Lesser General Public *)
11 (* License, with the special exception on linking described in file *)
14 (***********************************************************************)
17 Time-stamp: <Last modified on 2013-03-04 16:38:27 CET by Kim Nguyen>
20 (** use: xml_file "XPath querie"
21 or : xml_file -f XPath_querie_file
22 only the first line of XPath_querie_file is read
25 module F = Auto.Formula
27 module X = Xpath.Compile
29 (* to force ocaml build to add Formula to the dependency chain even if
33 let fd = open_in Sys.argv.(1) in
34 let d = Tree.Naive.load_xml_file fd in
39 let arg2 = Sys.argv.(2) in
40 Xpath.Parser.parse (Ulexing.from_latin1_string arg2)
43 Xpath.Compile.path query
48 fprintf err_formatter "Query: %a\n%!" Xpath.Ast.print_path query;
49 fprintf err_formatter "Automata: %a\n%!" Auto.Ata.print auto;
50 fprintf err_formatter "Document:\n%!";
51 Tree.Naive.print_xml stderr doc (Tree.Naive.root doc);