set.empty() method
John Tamplin
jat at google.com
Wed Feb 15 07:43:36 PST 2012
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>
More information about the es-discuss
mailing list