support "$" as an ID character: google has a bunch of json that has $t, etc values

This commit is contained in:
Schuyler Duveen
2011-05-13 11:40:31 -04:00
parent a4ca50533d
commit 4e5cf17311
+1 -1
View File
@@ -24,7 +24,7 @@
<mu>"}}}" { this.begin("INITIAL"); return 'CLOSE'; }
<mu>"}}" { this.begin("INITIAL"); return 'CLOSE'; }
<mu>'"'("\\"["]|[^"])*'"' { yytext = yytext.substr(1,yyleng-2).replace(/\\"/g,'"'); return 'STRING'; }
<mu>[a-zA-Z0-9_-]+/[=}\s/.] { return 'ID'; }
<mu>[a-zA-Z0-9_$-]+/[=}\s/.] { return 'ID'; }
<mu>. { return 'INVALID'; }
<INITIAL,mu><<EOF>> { return 'EOF'; }