(str: string)
| 97 | return str |
| 98 | .replace(/\\/g, '\\\\') // backslash first |
| 99 | .replace(/'/g, "\\'") // single quote |
| 100 | .replace(/\n/g, '\\n') // newline |
| 101 | .replace(/\r/g, '\\r') // carriage return |
| 102 | .replace(/\t/g, '\\t'); // tab |
| 103 | } |
| 104 | |
| 105 | class IRStringWriter { |
no test coverage detected