Rewrite parser using ocamlyacc to remove further dependencies

[tatoo.git] / src / xPath.mli

diff --git a/src/xPath.mli b/src/xPath.mli
index e80a88a..1e4d26d 100644 (file)
--- 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