bug fix on the definitely written check: Field read does not need to remove OW set.
[IRC.git] / QueryList.java
1 public class QueryList extends Queue {
2         Queue queries;
3
4   public QueryList() {
5                 queries = global new Queue();
6   }
7
8   public boolean checkQuery(GlobalString x) {
9                 boolean set = false;;
10                 for (int i = 0 ; i < size; i++) {
11                         if (x.equals((GlobalString)elements[i])) {
12                                 set = true;
13                                 break;
14                         }
15                 }
16                 return set;
17   }
18
19         public void addQuery(GlobalString x) {
20                 queries.push(x);
21         }
22 }