Changes and additional files for RMI profiling
[iot2.git] / 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 }