(String value)
| 1071 | } |
| 1072 | |
| 1073 | private static String escapeAndQuote(String value) { |
| 1074 | StringBuilder escaped = new StringBuilder(value.length() + 16).append('"'); |
| 1075 | for (int i = 0; i < value.length(); i++) { |
| 1076 | char ch = value.charAt(i); |
| 1077 | if (ch == '\r' || ch == '\\' || ch == '"') { |
| 1078 | escaped.append('\\'); |
| 1079 | } |
| 1080 | escaped.append(ch); |
| 1081 | } |
| 1082 | return escaped.append('"').toString(); |
| 1083 | } |
| 1084 | } |