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>)* ;