Robust/src/Benchmarks/Spider/Java/QueryQueue.java

   1 public class QueryQueue {
   2     HashSet queries;
   3
   4     public QueryQueue() {
   5         queries=new HashSet();
   6     }
   7     public synchronized Query getQuery() {
   8         if (queries.isEmpty())
   9             return null;
  10         Query q=(Query) queries.iterator().next();
  11         queries.remove(q);
  12         return q;
  13     }
  14     public synchronized void addQuery(Query x) {
  15         queries.add(x);
  16     }
  17 }