Searched refs:jsonTypeInfoUnicode (Results 1 – 1 of 1) sorted by relevance
510 let jsonTypeInfoUnicode = escapeUnicode(JSON.stringify(typeInfoObject, null, 2)); variable511 jsonTypeInfoUnicode = "$" + jsonTypeInfoUnicode.replace(dollarSign, '#$') + "$";512 jsonTypeInfoUnicode = jsonTypeInfoUnicode.replace(starSign, '#*');514 Ts2Panda.jsonString += jsonTypeInfoUnicode;516 ts2abc.stdio[3].write(jsonTypeInfoUnicode + '\n');