lxm_front/jsonlint-mod
1
0
Fork 1
mirror of synced 2025-12-18 04:24:06 +08:00
Code Issues Projects Releases Wiki Activity

fix escaping of special characters (issue #22)

Browse Source
This commit is contained in:
Zachary Carter
2012-05-28 12:27:08 -07:00
parent c07fb3db3b
commit 14a108f3a4
5 changed files with 36 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
lib/jsonlint.js
View File

@@ -9,7 +9,15 @@ performAction: function anonymous(yytext,yyleng,yylineno,yy,yystate,$$,_$) {
var $0 = $$.length - 1;
switch (yystate) {
case 1:this.$ = yytext.replace(/\\\\/g, "\\");
case 1: // replace escaped characters with actual character
this.$ = yytext.replace(/\\(\\|")/g, "$"+"1")
.replace(/\\n/g,'\n')
.replace(/\\r/g,'\r')
.replace(/\\t/g,'\t')
.replace(/\\v/g,'\v')
.replace(/\\f/g,'\f')
.replace(/\\b/g,'\b');
break;
case 2:this.$ = Number(yytext);
break;
@@ -367,13 +375,13 @@ var YYSTATE=YY_START
switch($avoiding_name_collisions) {
case 0:/* skip whitespace */
break;
case 1:return 6;
case 1:return 6
break;
case 2:yy_.yytext = yy_.yytext.substr(1,yy_.yyleng-2); return 4;
case 2:yy_.yytext = yy_.yytext.substr(1,yy_.yyleng-2); return 4
break;
case 3: return 17
case 3:return 17
break;
case 4: return 18
case 4:return 18
break;
case 5:return 23
break;