(byte [] array, int pos)
| 588 | } |
| 589 | |
| 590 | private String |
| 591 | byteString(byte [] array, int pos) { |
| 592 | StringBuffer sb = new StringBuffer(); |
| 593 | int len = array[pos++]; |
| 594 | for (int i = pos; i < pos + len; i++) { |
| 595 | int b = array[i] & 0xFF; |
| 596 | if (b <= 0x20 || b >= 0x7f) { |
| 597 | sb.append('\\'); |
| 598 | sb.append(byteFormat.format(b)); |
| 599 | } |
| 600 | else if (b == '"' || b == '(' || b == ')' || b == '.' || |
| 601 | b == ';' || b == '\\' || b == '@' || b == '$') |
| 602 | { |
| 603 | sb.append('\\'); |
| 604 | sb.append((char)b); |
| 605 | } |
| 606 | else |
| 607 | sb.append((char)b); |
| 608 | } |
| 609 | return sb.toString(); |
| 610 | } |
| 611 | |
| 612 | /** |
| 613 | * Convert a Name to a String |
no test coverage detected