checker/astubs/IoTSet.astub

   1 import java.lang.UnsupportedOperationException;
   2
   3 import java.util.Collection;
   4 import java.util.HashSet;
   5 import java.util.Iterator;
   6 import java.util.Set;
   7 import java.util.Spliterator;
   8
   9 import iotchecker.qual.LocalRemote;
  10 import iotchecker.qual.NonLocalRemote;
  11 import iotchecker.qual.CanBeRemote;
  12 import iotchecker.qual.Normal;
  13
  14 package iotruntime.slave;
  15
  16 public final class IoTSet<@CanBeRemote T> {
  17         private Set<T> set;
  18
  19         public IoTSet(Set<T> s);
  20         public boolean contains(T o);
  21         public boolean isEmpty();
  22         public Iterator<T> iterator();
  23         public int size();
  24         public Set<T> values();
  25 }
  26