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