set.empty() method

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


On 15 February 2012 07:47, Mark S. Miller <erights at google.com> 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.

/Andreas


More information about the es-discuss mailing list