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

diff --git a/src/xPath.mli b/src/xPath.mli
index e80a88a..1e4d26d 100644
--- a/src/xPath.mli
+++ b/src/xPath.mli
@@ -12,10 +12,6 @@
 (*  ../LICENSE.                                                        *)
 (*                                                                     *)
 (***********************************************************************)
-
-
-(** Abstract syntax tree of XPath queries *)
-
 module Ast :
 sig
   type path = single_path list
@@ -24,7 +20,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 +31,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