1 import java.lang.UnsupportedOperationException;
3 import java.util.HashMap;
4 import java.util.HashSet;
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;
14 package iotruntime.slave;
15 /** Class IoTRelation stub file for IoTJavaChecker
17 * @author Rahmadi Trimananda <rahmadi.trimananda @ uci.edu>
21 public final class IoTRelation<@CanBeRemote K,@CanBeRemote V> {
23 private Map<K,HashSet<V> > mapRelation;
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();