set.empty() method

Andreas Rossberg rossberg at
Wed Feb 15 01:55:30 PST 2012

On 15 February 2012 07:47, Mark S. Miller <erights at> wrote:
> clear() is ok. Also, java.util.Map and java.util.Set use clear() so it would
> also be familiar to many people.
> Perhaps deleteAll() would be more mnemonic, as its relationship with
> delete() would be obvious?

+1 for deleteAll. Give related names to related operations.


More information about the es-discuss mailing list