187 retval.append("\\n");
188 continue;
189 case '\f':
190 retval.append("\\f");
191 continue;
192 case '\r':
193 retval.append("\\r");
194 continue;
195 case '\"':
196 retval.append("\\\"");
197 continue;
198 case '\'':
199 retval.append("\\\'");
200 continue;
201 case '\\':
202 retval.append("\\\\");
203 continue;
204 default:
205 if ((ch = str.charAt(i)) < 0x20 || ch > 0x7e) {
206 String s = "0000" + Integer.toString(ch, 16);
207 retval.append("\\u" + s.substring(s.length() - 4, s.length()));
208 } else {
209 retval.append(ch);
210 }
211 continue;
212 }
213 }
214 return retval.toString();
215 }
216
217 }
|
187 retval.append("\\n");
188 continue;
189 case '\f':
190 retval.append("\\f");
191 continue;
192 case '\r':
193 retval.append("\\r");
194 continue;
195 case '\"':
196 retval.append("\\\"");
197 continue;
198 case '\'':
199 retval.append("\\\'");
200 continue;
201 case '\\':
202 retval.append("\\\\");
203 continue;
204 default:
205 if ((ch = str.charAt(i)) < 0x20 || ch > 0x7e) {
206 String s = "0000" + Integer.toString(ch, 16);
207 retval.append("\\u").append(s.substring(s.length() - 4, s.length()));
208 } else {
209 retval.append(ch);
210 }
211 continue;
212 }
213 }
214 return retval.toString();
215 }
216
217 }
|