(long newpos)
| 634 | } |
| 635 | |
| 636 | void seek(long newpos) throws IOException |
| 637 | { |
| 638 | long offset = newpos - bufferOffset; |
| 639 | if (offset >= 0 && offset <= buffer.length) |
| 640 | { |
| 641 | pos = (int) offset; |
| 642 | } |
| 643 | else |
| 644 | { |
| 645 | bufferOffset = newpos; |
| 646 | pos = 0; |
| 647 | fillBuffer(); |
| 648 | } |
| 649 | } |
| 650 | |
| 651 | void readFully(byte[] buf) throws IOException |
| 652 | { |
no test coverage detected