class DBaseFileAttributeAccessor extends AbstractBufferedAttributeProvider {

	@Override
	@Pure
	public Collection<String> getAllAttributeNames() {
		return this.pool.getAllAttributeNames(this.recordNumber);
	}

	  DBaseFileAttributeAccessor(DBaseFileAttributePool pool, int recordNumber);

}