JDK-8337520 : AbstractSet should specify default implementation using @implSpec
  • Type: Enhancement
  • Component: core-libs
  • Sub-Component: java.util:collections
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2024-07-31
  • Updated: 2025-05-29
Related Reports
Relates :  
JDK-6394757 - (coll) AbstractSet.removeAll semantics are surprisingly dependent on relative sizes
Relates :  
JDK-8031142 - AbstractCollection and AbstractList should specify their default implementation using @implSpec
Relates :  
JDK-8031133 - AbstractMap should specify its default implementation using @implSpec
Description
Analogous work already done for AbstractCollection and AbstractList (JDK-8031142) and AbstractMap (JDK-8031133).

More extensive use of contemporary javadoc tags throughout the collections framework is also possible.
Comments
Indeed, @implSpec should be used here, but carefully, as we don't actually want to commit to the current implementation of removeAll(). See JDK-6934757.
01-08-2024