()
| 197 | } |
| 198 | |
| 199 | private void verifyHeader() throws IOException { |
| 200 | ByteBuffer p = ByteBuffer.allocate(HDR.length); |
| 201 | readFully(0, p); |
| 202 | p.clear(); |
| 203 | if (p.compareTo(ByteBuffer.wrap(HDR)) != 0) { |
| 204 | throw new IOException("File Header Mismatch!"); |
| 205 | } |
| 206 | } |
| 207 | |
| 208 | private void writeHeader() throws IOException { |
| 209 | // write at the beginning, then leave position alone |
no test coverage detected