From b61fb917d91792ee40b27efd68acafc4839f3e67 Mon Sep 17 00:00:00 2001
From: jihoonl <jihoonl>
Date: Thu, 12 Nov 2009 20:37:49 +0000
Subject: [PATCH] missing part

---
 .../Benchmarks/Spider/dsm/GlobalQuery.java    | 92 +++++++++++++++++++
 1 file changed, 92 insertions(+)
 create mode 100644 Robust/src/Benchmarks/Spider/dsm/GlobalQuery.java

diff --git a/Robust/src/Benchmarks/Spider/dsm/GlobalQuery.java b/Robust/src/Benchmarks/Spider/dsm/GlobalQuery.java
new file mode 100644
index 00000000..a1e25b15
--- /dev/null
+++ b/Robust/src/Benchmarks/Spider/dsm/GlobalQuery.java
@@ -0,0 +1,92 @@
+public class GlobalQuery {
+  GlobalString hostname;
+  GlobalString path;
+	int depth;
+  
+	public GlobalQuery(GlobalString hostname,GlobalString path) {
+    this.hostname = hostname;
+    this.path = path;
+    this.depth = 0;
+	}
+
+  public GlobalQuery(GlobalString hostname, GlobalString path, int depth) {
+    this.hostname = global new GlobalString(hostname);
+    this.path = global new GlobalString(path);
+		this.depth = depth;
+  }
+
+	public int getDepth() {
+		return depth;
+	}
+	
+  public GlobalString getHostName() {
+    return hostname;
+  }
+ 
+  public GlobalString getPath() {
+    return path;
+  }
+
+  public GlobalString makewebcanonical(GlobalString page) {
+    GlobalStringBuffer b = global new GlobalStringBuffer(getHostName(page));
+    b.append("/");
+		b.append(getPathName(page));
+    return b.toGlobalString();
+	}
+
+  public GlobalString getHostName(GlobalString page) {
+    GlobalString http = global new GlobalString("http://");
+    GlobalString https = global new GlobalString("https://");
+		int beginindex;
+		int endindex;
+
+		if ((page.indexOf(http) == -1) && (page.indexOf(https) == -1)) {
+			return getHostName();
+		} 
+		else if (page.indexOf(https) != -1) {
+			beginindex = page.indexOf(https) + https.length();
+		}
+		else {
+			beginindex = page.indexOf(http) + http.length();
+		}
+	  endindex = page.indexOf('/',beginindex+1);
+
+		if ((beginindex == -1)) {	
+			System.printString("ERROR");
+		}
+		if (endindex == -1)
+			endindex = page.length();
+
+		return page.subString(beginindex, endindex);
+  }
+
+  
+	public GlobalString getPathName(GlobalString page) {
+    GlobalString http = global new GlobalString("http://");
+    GlobalString https = global new GlobalString("https://");
+		int beginindex;
+		int nextindex;
+
+		if ((page.indexOf(http) == -1) && (page.indexOf(https) == -1)) {
+      GlobalString path = getPath();
+	    int lastindex = path.lastindexOf('/');
+	    if (lastindex == -1)
+        return page;
+	    
+      GlobalStringBuffer sb = global new GlobalStringBuffer(path.subString(0,lastindex+1));
+	    sb.append(page);
+      return sb.toGlobalString();
+    } 
+		else if (page.indexOf(https) != -1) {
+			beginindex = page.indexOf(https) + https.length();
+		}
+		else {
+			beginindex = page.indexOf(http) + http.length();
+		}
+		nextindex = page.indexOf('/',beginindex+1);
+
+		if ((beginindex == -1) || (nextindex == -1))
+			return global new GlobalString("index.html");
+		return page.subString(nextindex+1, page.length());
+  }
+}
-- 
2.34.1