/** converts normal string to java escaped for double-quotes and wrapped in those double quotes */ public static void wrapJavaString(String value, Appendable out) throws IOException { if (value==null) { out.append("null"); } else { out.append('"'); escapeJavaString(value, out); out.append('"'); } }
/** converts normal string to java escaped for double-quotes (but not wrapped in double quotes) */ public static String escapeJavaString(String value) { StringBuilder out = new StringBuilder(); try { escapeJavaString(value, out); } catch (IOException e) { //shouldn't happen for string builder throw Exceptions.propagate(e); } return out.toString(); }