2019.6.16
private static StringBuilder jsonEscape(String str){
var result = new StringBuilder("\"");
for(int i=0;i<str.length();i++){
char ch = str.charAt(i);
String replacement = replacements.get(ch);
if(replacement == null){
result.append(ch);
}
else{
result.append(replacement);
}
}
result.append("\"");
return result;
}