Robust/src/Benchmarks/Spider/dsm/QueryList.java

   1 public class QueryList extends Queue {
   2   public QueryList() {
   3                 Queue();                        // ??
   4   }
   5
   6   public boolean checkQuery(GlobalString x) {
   7                 boolean set = false;;
   8                 for (int i = 0 ; i < size; i++) {
   9                         if (x.equals((GlobalString)elements[i])) {
  10                                 set = true;
  11                                 break;
  12                         }
  13                 }
  14                 return set;
  15   }
  16 }