class ShapeFileIndexReader extends AbstractCommonShapeFileReader<ShapeFileIndexRecord> {

	@Override
	public void seek(int recordIndex) throws IOException {
		readHeader();
		int ri = recordIndex;
		if (ri < 0) {
			ri = 0;
		}
		if (ri >= this.recordCount) {
			throw new EOFException();
		}

		// Goto the record
		setReadingPosition(recordIndex, RECORD_SIZE * ri);
	}

	public  ShapeFileIndexReader(ReadableByteChannel channel);
	public  ShapeFileIndexReader(InputStream inputStream);
	@SuppressWarnings("resource") public  ShapeFileIndexReader(File file);
	public  ShapeFileIndexReader(URL file);

}