trunk/resources/xpath-scanner.txt
changeset 0 5057afe1ec87
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/trunk/resources/xpath-scanner.txt	Tue Apr 08 19:47:42 2008 +0000
@@ -0,0 +1,26 @@
+<whitespace>         :       \s+;
+
+#[39]    
+<ExprWhitespace>     :  <whitespace> ;
+
+<Digit>              :  [0-9];
+
+
+
+
+#!!!
+<Letter>             : [a-zA-Z] ;
+
+
+#[30] 
+<Number>             :  <Digit>+ (\. <Digit>*)? ;
+
+#[29]    
+<Literal>            :    \" [^\"]* \"   
+                        | \' [^\']* \' ;
+
+
+<NCNameChar>        :    <Letter> | <Digit> | "." | "-" | "_" ;
+
+<NCName>             :     <Letter> (<NCNameChar>)* 
+                               | "_"  (<NCNameChar>)* ;