181 retval.append("\\n");
182 continue;
183 case '\f':
184 retval.append("\\f");
185 continue;
186 case '\r':
187 retval.append("\\r");
188 continue;
189 case '\"':
190 retval.append("\\\"");
191 continue;
192 case '\'':
193 retval.append("\\\'");
194 continue;
195 case '\\':
196 retval.append("\\\\");
197 continue;
198 default:
199 if ((ch = str.charAt(i)) < 0x20 || ch > 0x7e) {
200 String s = "0000" + Integer.toString(ch, 16);
201 retval.append("\\u" + s.substring(s.length() - 4, s.length()));
202 } else {
203 retval.append(ch);
204 }
205 continue;
206 }
207 }
208 return retval.toString();
209 }
210
211 }
212 /* JavaCC - OriginalChecksum=3c9f049ed2bb6ade635c5bf58a386169 (do not edit this line) */
|
181 retval.append("\\n");
182 continue;
183 case '\f':
184 retval.append("\\f");
185 continue;
186 case '\r':
187 retval.append("\\r");
188 continue;
189 case '\"':
190 retval.append("\\\"");
191 continue;
192 case '\'':
193 retval.append("\\\'");
194 continue;
195 case '\\':
196 retval.append("\\\\");
197 continue;
198 default:
199 if ((ch = str.charAt(i)) < 0x20 || ch > 0x7e) {
200 String s = "0000" + Integer.toString(ch, 16);
201 retval.append("\\u").append(s.substring(s.length() - 4, s.length()));
202 } else {
203 retval.append(ch);
204 }
205 continue;
206 }
207 }
208 return retval.toString();
209 }
210
211 }
212 /* JavaCC - OriginalChecksum=3c9f049ed2bb6ade635c5bf58a386169 (do not edit this line) */
|