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

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

diff --git a/checker/astubs/IoTRelation.astub b/checker/astubs/IoTRelation.astub
new file mode 100644 (file)
index 0000000..57380ee
--- /dev/null
+++ b/checker/astubs/IoTRelation.astub
@@ -0,0 +1,33 @@
+import java.lang.UnsupportedOperationException;
+
+import java.util.HashMap;
+import java.util.HashSet;
+import java.util.Map;
+import java.util.Set;
+
+import iotchecker.qual.LocalRemote;
+import iotchecker.qual.NonLocalRemote;
+import iotchecker.qual.Normal;
+import iotchecker.qual.CanBeRemote;
+import iotchecker.qual.Bottom;
+
+package iotruntime.slave;
+/** Class IoTRelation stub file for IoTJavaChecker
+ *
+ * @author      Rahmadi Trimananda <rahmadi.trimananda @ uci.edu>
+ * @version     1.0
+ * @since       2016-19-04
+ */
+public final class IoTRelation<@CanBeRemote K,@CanBeRemote V> {
+
+       private Map<K,HashSet<V> > mapRelation;
+       private int iSize;
+
+       public IoTRelation(Map<K,HashSet<V> > mapRel, int _iSize);
+       public boolean containsKey(K key);
+       public Set<Map.Entry<K,HashSet<V>>> entrySet();
+       public Set<K> keySet();
+       public HashSet<V> get(K key);
+       public boolean isEmpty();
+       public int size();
+}