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

diff --git a/src/ulexer.mli b/src/ulexer.mli
new file mode 100644
index 0000000..6fdac83
--- /dev/null
+++ b/src/ulexer.mli
@@ -0,0 +1,21 @@
+(******************************************************************************)
+(*  SXSI : XPath evaluator                                                    *)
+(*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
+(*  Copyright NICTA 2008                                                      *)
+(*  Distributed under the terms of the LGPL (see LICENCE)                     *)
+(******************************************************************************)
+open Camlp4.Sig
+
+exception Error of int*int*string
+type token =
+      TAG of string
+    | STRING of string
+    | INT of int
+    | KWD of string
+    | ATT of string
+    | EOI 
+module Loc   : Loc with type t = int * int
+module Token : Token with module Loc = Loc and type t = token
+module Error : Error
+
+val mk : unit -> (Loc.t -> char Stream.t -> (Token.t * Loc.t) Stream.t)