From: jihoonl <jihoonl>
Date: Wed, 4 Nov 2009 23:41:39 +0000 (+0000)
Subject: cleaning
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2bd57078ed8a2dce6ae0db46d6c0dad6a7d88aa3;p=IRC.git

cleaning
---

diff --git a/Robust/src/Benchmarks/Spider/dsm/QueryList.java b/Robust/src/Benchmarks/Spider/dsm/QueryList.java
deleted file mode 100644
index d09167b0..00000000
--- a/Robust/src/Benchmarks/Spider/dsm/QueryList.java
+++ /dev/null
@@ -1,22 +0,0 @@
-public class QueryList extends Queue {
-	Queue queries;
-
-  public QueryList() {
-		queries = global new Queue();
-  }
-
-  public boolean checkQuery(GlobalString x) {
-		boolean set = false;;
-		for (int i = 0 ; i < size; i++) {
-			if (x.equals((GlobalString)elements[i])) {
-				set = true;
-				break;
-			}
-		}
-		return set;
-  }
-
-	public void addQuery(GlobalString x) {
-		queries.push(x);
-	}
-}
diff --git a/Robust/src/Benchmarks/Spider/dsm/QueryQueue.java b/Robust/src/Benchmarks/Spider/dsm/QueryQueue.java
deleted file mode 100644
index 915bb4b9..00000000
--- a/Robust/src/Benchmarks/Spider/dsm/QueryQueue.java
+++ /dev/null
@@ -1,34 +0,0 @@
-public class QueryQueue {
-	HashSet queries;
-	int size;
-
-	public QueryQueue() {
-		queries = new HashSet();
-		size = 0;
-	}
-
-	public LocalQuery pop() {
-		if (queries.isEmpty())
-			return null;
-		LocalQuery q = (LocalQuery) queries.iterator().next();
-		queries.remove(q);
-		size--;
-		return q;
-	}
-
-	public void push(LocalQuery x) {
-		queries.add(x);
-		size++;
-	}
-	
-	public int size() {
-		return size;
-	}
-
-	public boolean isEmpty() {
-		if (size == 0)
-			return true;
-		else 
-			return false;
-	}
-}