DBaseFileAttributeAccessor extends AbstractBufferedAttributeProvider { @Override @Pure public int getAttributeCount() { return this.pool.getAttributeCount(); } DBaseFileAttributeAccessor(DBaseFileAttributePool pool, int recordNumber); @Pure URL getResource(); @Pure int getRecordNumber(); @Override @Pure int getAttributeCount(); @Override @Pure Collection<String> getAllAttributeNames(); @Override @Pure void toMap(Map<String, Object> mapToFill);  }
@Test public void testGetAttributeCount() { assertEquals(4, this.accessor.getAttributeCount()); }