(str: string)
| 3082 | } |
| 3083 | |
| 3084 | function jsSafeStringify(str: string) { |
| 3085 | return JSON.stringify(str).replace(/[\u2028\u2029]/g, function (m) { |
| 3086 | return "\\u" + m.charCodeAt(0).toString(16); |
| 3087 | }); |
| 3088 | } |
| 3089 | |
| 3090 | function nodeStr(str: string, options: any) { |
| 3091 | isString.assert(str); |