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