(int length)
| 326 | } |
| 327 | |
| 328 | String getString(int length) throws IOException { |
| 329 | byte[] buf = new byte[length]; |
| 330 | int pos = 0; |
| 331 | while (pos<length) { |
| 332 | int count = f.read(buf, pos, length-pos); |
| 333 | if (count==-1) |
| 334 | throw new IOException("unexpected EOF"); |
| 335 | pos += count; |
| 336 | } |
| 337 | location += length; |
| 338 | return new String(buf); |
| 339 | } |
| 340 | |
| 341 | String getUNString(int length) throws IOException { |
| 342 | String s = getString(length); |
no test coverage detected