class DBaseFileReader implements Iterable<AttributeProvider>, AutoCloseable {

	@Pure
	public int getDBFRecordCount() throws MustCallReadHeaderFunctionException {
		if (this.recordCount == -1) {
			throw new MustCallReadHeaderFunctionException();
		}
		return this.recordCount;
	}

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

}