463 |
|
|
464 |
return s; |
return s; |
465 |
} |
} |
466 |
|
|
467 |
|
/** |
468 |
|
* Returns the provided string with added escape sequences where necessary. |
469 |
|
*/ |
470 |
|
protected static String |
471 |
|
getEscapedString(String s) { |
472 |
|
StringBuffer sb = new StringBuffer(); |
473 |
|
for(int i = 0; i < s.length(); i++) { |
474 |
|
switch(s.charAt(i)) { |
475 |
|
case '\n': sb.append("\\n"); break; |
476 |
|
case '\r': sb.append("\\r"); break; |
477 |
|
case '\f': sb.append("\\f"); break; |
478 |
|
case '\t': sb.append("\\t"); break; |
479 |
|
case 0x0B: sb.append("\\v"); break; |
480 |
|
case '\'': sb.append("\\'"); break; |
481 |
|
case '\"': sb.append("\\\""); break; |
482 |
|
case '\\': sb.append("\\\\"); break; |
483 |
|
default : sb.append(s.charAt(i)); |
484 |
|
} |
485 |
|
} |
486 |
|
|
487 |
|
return sb.toString(); |
488 |
|
} |
489 |
} |
} |