1 import java.lang.UnsupportedOperationException;
3 import java.util.Collection;
4 import java.util.HashSet;
5 import java.util.Iterator;
7 import java.util.Spliterator;
9 import iotchecker.qual.LocalRemote;
10 import iotchecker.qual.NonLocalRemote;
11 import iotchecker.qual.CanBeRemote;
12 import iotchecker.qual.Normal;
14 package iotruntime.slave;
16 public final class IoTSet<@CanBeRemote T> {
19 public IoTSet(Set<T> s);
20 public boolean contains(T o);
21 public boolean isEmpty();
22 public Iterator<T> iterator();
24 public Set<T> values();