class DBaseFileAttributeCollection extends DBaseFileAttributeProvider implements ROMBasedAttributeCollection {

	@Pure
	@Override
	public int getAttributeCount() {
		return super.getAttributeCount() + this.addedElementCount;
	}

	  DBaseFileAttributeCollection(DBaseFileAttributeAccessor accessor);

}