(int length)
| 751 | } |
| 752 | |
| 753 | String readString(int length) throws IOException |
| 754 | { |
| 755 | if (length > end - (bufferOffset + pos)) |
| 756 | throw new EOFException(); |
| 757 | |
| 758 | String result = null; |
| 759 | try |
| 760 | { |
| 761 | if (buffer.length - pos >= length) |
| 762 | { |
| 763 | result = decodeChars(buffer, pos, length); |
| 764 | pos += length; |
| 765 | } |
| 766 | else |
| 767 | { |
| 768 | byte[] b = new byte[length]; |
| 769 | readFully(b); |
| 770 | result = decodeChars(b, 0, length); |
| 771 | } |
| 772 | } |
| 773 | catch (UnsupportedEncodingException uee) |
| 774 | { |
| 775 | throw new Error();//uee); |
| 776 | } |
| 777 | return result; |
| 778 | } |
| 779 | |
| 780 | public void addDummyByte() |
| 781 | { |
no test coverage detected