301
}
302
if (ch === CharacterCodes.backslash) {
303
>
result += text.substring(start, pos);
json.ts
304
>
pos++;
305
>
if (pos >= len) {
306
scanError = ScanError.UnexpectedEndOfString;
307
break;
308
}
309
>
const ch2 = text.charCodeAt(pos++);
json.ts
310
>
switch (ch2) {
311
>
case CharacterCodes.doubleQuote:
312
>
result += '\"';
313
>
break;
314
>
case CharacterCodes.backslash:
315
result += '\\';
316
break;
317
>
case CharacterCodes.slash:
json.ts
318
result += '/';
319
break;
320
>
case CharacterCodes.b:
json.ts
321
result += '\b';
322
break;
323
>
case CharacterCodes.f:
json.ts
324
result += '\f';
325
break;
326
>
case CharacterCodes.n:
json.ts
327
>
result += '\n';
328
>
break;
329
>
case CharacterCodes.r:
330
result += '\r';
331
break;
332
>
case CharacterCodes.t:
json.ts
333
>
result += '\t';
334
>
break;
335
>
case CharacterCodes.u: {
336
const ch3 = scanHexDigits(4);
337
if (ch3 >= 0) {