Merge pull request #81 from schuyler1d/google_json_support

support "$" as an ID character: google has a bunch of json that has $t, etc
This commit is contained in:
Yehuda Katz
2011-05-25 17:06:50 -07:00
+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'; }