DBaseFileAttributeAccessor extends AbstractBufferedAttributeProvider { @Pure public URL getResource() { return this.pool.getResource(); } 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 testGetResource() { assertEquals(this.resource, this.accessor.getResource()); }