X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=xPath.mli;fp=xPath.mli;h=0000000000000000000000000000000000000000;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=ad145f91f40ccc344536ff6d07362a4403bb28db;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/xPath.mli b/xPath.mli
deleted file mode 100644
index ad145f9..0000000
--- a/xPath.mli
+++ /dev/null
@@ -1,39 +0,0 @@
-(******************************************************************************)
-(*  SXSI : XPath evaluator                                                    *)
-(*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
-(*  Copyright NICTA 2008                                                      *)
-(*  Distributed under the terms of the LGPL (see LICENCE)                     *)
-(******************************************************************************)
-module Ast :
-sig
-  type path = Absolute of step list | AbsoluteDoS of step list| Relative of step list
-  and step = axis * test * predicate
-  and axis = Self | Attribute | Child | Descendant | DescendantOrSelf | FollowingSibling
-	     | Parent | Ancestor | AncestorOrSelf |PrecedingSibling | Preceding | Following 
-  and test = TagSet.t
-  and predicate = Or of predicate*predicate
-    		  | And of predicate*predicate
-		    | Not of predicate	
-		    | Expr of expression
-  and expression =  Path of path
-		    | Function of string*expression list
-		    | Int of int
-		    | String of string
-		    | True | False
-  type t = path
-  val print : Format.formatter -> 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_predicate : Format.formatter -> predicate -> unit
-  val print_expression : Format.formatter -> expression -> unit
-end
-module Parser :
-sig
-  val parse_string : string -> Ast.path
-  val parse : string -> Ast.path
-end
-module Compile : 
-sig
-val compile : ?querystring:string -> Ast.path -> 'a Ata.t * (Tag.t*Ata.StateSet.t) list * ([ `CONTAINS | `STARTSWITH | `ENDSWITH | `EQUALS ]*string) option
-end