Adding Java Checker Framework to flag error when java.net and java.lang.reflect libra...

[iot2.git] / checker / astubs / IoTSet.astub

diff --git a/checker/astubs/IoTSet.astub b/checker/astubs/IoTSet.astub
new file mode 100644 (file)
index 0000000..2da67d0
--- /dev/null
+++ b/checker/astubs/IoTSet.astub
@@ -0,0 +1,26 @@
+import java.lang.UnsupportedOperationException;
+
+import java.util.Collection;
+import java.util.HashSet;
+import java.util.Iterator;
+import java.util.Set;
+import java.util.Spliterator;
+
+import iotchecker.qual.LocalRemote;
+import iotchecker.qual.NonLocalRemote;
+import iotchecker.qual.CanBeRemote;
+import iotchecker.qual.Normal;
+
+package iotruntime.slave;
+
+public final class IoTSet<@CanBeRemote T> {
+       private Set<T> set;
+
+       public IoTSet(Set<T> s);
+       public boolean contains(T o);
+       public boolean isEmpty();
+       public Iterator<T> iterator();
+       public int size();
+       public Set<T> values();
+}
+