set.empty() method

[John Tamplin]

On Wed, Feb 15, 2012 at 4:55 AM, Andreas Rossberg <rossberg at google.com>wrote:

> 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.


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

-- 
John A. Tamplin
Software Engineer (GWT), Google
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20120215/a332c525/attachment.html>