Searched refs:jsonOutputFileNameUnicode (Results 1 – 1 of 1) sorted by relevance
518 … let jsonOutputFileNameUnicode = escapeUnicode(JSON.stringify(outputFileNameObject, null, 2)); variable519 jsonOutputFileNameUnicode = "$" + jsonOutputFileNameUnicode.replace(dollarSign, '#$') + "$";520 jsonOutputFileNameUnicode = jsonOutputFileNameUnicode.replace(starSign, '#*');522 Ts2Panda.jsonString += jsonOutputFileNameUnicode;524 ts2abc.stdio[3].write(jsonOutputFileNameUnicode + '\n');