X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FxPath.mli;h=76a6ab3642d750b1d10ec090762f3707cece5095;hb=6b66008811639324be623a42037b60e02056772c;hp=e80a88a93e7b70fdf2d7e55b047ffe3a12965b37;hpb=c951f1d4b8f4264acb0b5910dc544ad3a6ceebab;p=tatoo.git

diff --git a/src/xPath.mli b/src/xPath.mli
index e80a88a..76a6ab3 100644
--- a/src/xPath.mli
+++ b/src/xPath.mli
@@ -5,7 +5,7 @@
 (*                     Kim Nguyen, LRI UMR8623                         *)
 (*                   Université Paris-Sud & CNRS                       *)
 (*                                                                     *)
-(*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
+(*  Copyright 2010-2013 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   *)
@@ -13,8 +13,11 @@
 (*                                                                     *)
 (***********************************************************************)
 
+(*
+  Time-stamp: <Last modified on 2013-01-30 19:05:02 CET by Kim Nguyen>
+*)
+
 
-(** Abstract syntax tree of XPath queries *)
 
 module Ast :
 sig
@@ -24,7 +27,7 @@ sig
   and axis = Self | Attribute | Child | Descendant | DescendantOrSelf | FollowingSibling
              | Parent | Ancestor | AncestorOrSelf | PrecedingSibling | Preceding | Following
 
-  and test = Simple of QNameSet.t
+  and test = QNameSet.t
 
   and binop = Eq | Neq | Lt | Gt | Lte | Gte | Or | And | Add | Sub | Mult | Div | Mod
   and unop =  Neg
@@ -35,7 +38,16 @@ sig
     | Path of path
     | Binop of expr * binop * expr
     | Unop of unop * expr
-
-
   type t = path
-end
+  val text : QNameSet.t
+  val node : QNameSet.t
+  val star : QNameSet.t
+  val print_binop : Format.formatter -> binop -> unit
+  val print_unop : Format.formatter -> unop -> unit
+  val print_path : Format.formatter -> path -> unit
+  val print_single_path : Format.formatter -> single_path -> unit
+  val print_step : Format.formatter -> step -> unit
+  val print_axis : Format.formatter -> axis -> unit
+  val print_test : Format.formatter -> test -> unit
+  val print_expr : Format.formatter -> expr -> unit
+  end