« Return to Thread: set.empty() method

Re: set.empty() method

by John Tamplin :: Rate this Message:

| View in Thread

On Wed, Feb 15, 2012 at 4:55 AM, Andreas Rossberg <rossberg@...> wrote:
On 15 February 2012 07:47, Mark S. Miller <erights@...> 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.

deleteAll would seem better reserved for deleteAll(Collection), which would remove every element present in the collection.

--
John A. Tamplin
Software Engineer (GWT), Google

_______________________________________________
es-discuss mailing list
es-discuss@...
https://mail.mozilla.org/listinfo/es-discuss

 « Return to Thread: set.empty() method