checker/astubs/IoTRelation.astub

   1 import java.lang.UnsupportedOperationException;
   2
   3 import java.util.HashMap;
   4 import java.util.HashSet;
   5 import java.util.Map;
   6 import java.util.Set;
   7
   8 import iotchecker.qual.LocalRemote;
   9 import iotchecker.qual.NonLocalRemote;
  10 import iotchecker.qual.Normal;
  11 import iotchecker.qual.CanBeRemote;
  12 import iotchecker.qual.Bottom;
  13
  14 package iotruntime.slave;
  15 /** Class IoTRelation stub file for IoTJavaChecker
  16  *
  17  * @author      Rahmadi Trimananda <rahmadi.trimananda @ uci.edu>
  18  * @version     1.0
  19  * @since       2016-19-04
  20  */
  21 public final class IoTRelation<@CanBeRemote K,@CanBeRemote V> {
  22
  23         private Map<K,HashSet<V> > mapRelation;
  24         private int iSize;
  25
  26         public IoTRelation(Map<K,HashSet<V> > mapRel, int _iSize);
  27         public boolean containsKey(K key);
  28         public Set<Map.Entry<K,HashSet<V>>> entrySet();
  29         public Set<K> keySet();
  30         public HashSet<V> get(K key);
  31         public boolean isEmpty();
  32         public int size();
  33 }