Set.java

package java.util;
import checkers.javari.quals.*;

public interface Set<E> extends Collection<E> {
    int size() @ReadOnly;
    boolean isEmpty() @ReadOnly;
    boolean contains(@ReadOnly Object o) @ReadOnly;
    @PolyRead Iterator<E> iterator() @PolyRead;
    @ReadOnly Object [] toArray() @ReadOnly;
    <T> T[] toArray(T[] a) @ReadOnly;
    boolean add(E e);
    boolean remove(@ReadOnly Object o);
    boolean containsAll(@ReadOnly Collection<?> c) @ReadOnly;
    boolean addAll(@ReadOnly Collection<? extends E> c);
    boolean retainAll(@ReadOnly Collection<?> c);
    boolean removeAll(@ReadOnly Collection<?> c);
    void clear();
    boolean equals(@ReadOnly Object o) @ReadOnly;
    int hashCode() @ReadOnly;
}