1 /*
2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
23 * questions.
24 */
25
26
27 package java.util;
28
29
30 @SuppressWarnings({"unchecked", "deprecation", "all"})
31 public interface Set<E> extends java.util.Collection<E> {
32
size()33 public int size();
34
isEmpty()35 public boolean isEmpty();
36
contains(@ibcore.util.Nullable java.lang.Object o)37 public boolean contains(@libcore.util.Nullable java.lang.Object o);
38
iterator()39 @libcore.util.NonNull public java.util.Iterator<@libcore.util.NullFromTypeParam E> iterator();
40
toArray()41 public java.lang.@libcore.util.Nullable Object @libcore.util.NonNull [] toArray();
42
43 // TODO: Make param and return types @Nullable T @NonNull [] once metalava supports TYPE_USE.
toArray(T @ibcore.util.NonNull [] a)44 public <T> T @libcore.util.NonNull [] toArray(T @libcore.util.NonNull [] a);
45
add(@ibcore.util.NullFromTypeParam E e)46 public boolean add(@libcore.util.NullFromTypeParam E e);
47
remove(@ibcore.util.Nullable java.lang.Object o)48 public boolean remove(@libcore.util.Nullable java.lang.Object o);
49
containsAll(@ibcore.util.NonNull java.util.Collection<?> c)50 public boolean containsAll(@libcore.util.NonNull java.util.Collection<?> c);
51
addAll(@ibcore.util.NonNull java.util.Collection<? extends @libcore.util.NullFromTypeParam E> c)52 public boolean addAll(@libcore.util.NonNull java.util.Collection<? extends @libcore.util.NullFromTypeParam E> c);
53
retainAll(@ibcore.util.NonNull java.util.Collection<?> c)54 public boolean retainAll(@libcore.util.NonNull java.util.Collection<?> c);
55
removeAll(@ibcore.util.NonNull java.util.Collection<?> c)56 public boolean removeAll(@libcore.util.NonNull java.util.Collection<?> c);
57
clear()58 public void clear();
59
equals(@ibcore.util.Nullable java.lang.Object o)60 public boolean equals(@libcore.util.Nullable java.lang.Object o);
61
hashCode()62 public int hashCode();
63
spliterator()64 @libcore.util.NonNull public default java.util.Spliterator<@libcore.util.NullFromTypeParam E> spliterator() { throw new RuntimeException("Stub!"); }
65 }
66