class DBaseFileAttributeAccessor extends AbstractBufferedAttributeProvider {

	@Pure
	public int getRecordNumber() {
		return this.recordNumber;
	}

	  DBaseFileAttributeAccessor(DBaseFileAttributePool pool, int recordNumber);

}