(String s)
| 129 | } |
| 130 | |
| 131 | public static String replaceEscapes(String s) { |
| 132 | s = s.replaceAll("\n", "\\\\n"); |
| 133 | s = s.replaceAll("\r", "\\\\r"); |
| 134 | s = s.replaceAll("\t", "\\\\t"); |
| 135 | return s; |
| 136 | } |
| 137 | |
| 138 | /** Replace >\> with >> in s. Replace \>> unless prefix of \>>> with >>. |
| 139 | * Do NOT replace if it's <\\> |
no outgoing calls
no test coverage detected