Adding Tomoyo feature for C++.
[iot2.git] / checker / astubs / IoTSet.astub
1 import java.lang.UnsupportedOperationException;
2
3 import java.util.Collection;
4 import java.util.HashSet;
5 import java.util.Iterator;
6 import java.util.Set;
7 import java.util.Spliterator;
8
9 import iotchecker.qual.LocalRemote;
10 import iotchecker.qual.NonLocalRemote;
11 import iotchecker.qual.CanBeRemote;
12 import iotchecker.qual.Normal;
13
14 package iotruntime.slave;
15
16 public final class IoTSet<@CanBeRemote T> {
17         private Set<T> set;
18
19         public IoTSet(Set<T> s);
20         public boolean contains(T o);
21         public boolean isEmpty();
22         public Iterator<T> iterator();
23         public int size();
24         public Set<T> values();
25 }
26