patch #856724/857342 and odds and ends.

This commit is contained in:
brianb
2004-02-09 20:37:27 +00:00
parent 7ef02592d0
commit e352e80eb1
5 changed files with 12 additions and 5 deletions

View File

@@ -51,7 +51,7 @@ like { return LIKE; }
[A-z][A-z0-9_#@]* { yylval.name = strdup(yytext); return NAME; }
'[A-z0-9 !@#$%^&*()-_+={}[\];:",.<>/?`~|\\]*' { yylval.name = strdup(yytext); return STRING; }
([0-9]+|([0-9]*\.[0-9+)([eE][-+]?[0-9]+)?) {
(-*[0-9]+|([0-9]*\.[0-9+)([eE][-+]?[0-9]+)?) {
yylval.name = strdup(yytext); return NUMBER;
}
~?(\/?[A-z0-9\.]+)+ { yylval.name = strdup(yytext); return PATH; }