From 3852c72da5df72bb104fb12312c39c9022c86cac Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 14 Mar 2007 02:07:13 +0000
Subject: [PATCH] generate test input

---
 .../src/Benchmarks/Spider/tests/generate.java | 28 +++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 Robust/src/Benchmarks/Spider/tests/generate.java

diff --git a/Robust/src/Benchmarks/Spider/tests/generate.java b/Robust/src/Benchmarks/Spider/tests/generate.java
new file mode 100644
index 00000000..c04145e8
--- /dev/null
+++ b/Robust/src/Benchmarks/Spider/tests/generate.java
@@ -0,0 +1,28 @@
+import java.io.*;
+
+public class generate {
+    public static void main(String x[]) {
+	int MAX=100;
+	int current=0;
+	int currentref=1;
+	while(current<currentref) {
+	    try {
+	    String filename=current+".html";
+	    FileOutputStream fos=new FileOutputStream(filename);
+	    PrintStream ps=new PrintStream(fos);
+	    int count=0;
+	    while(currentref<MAX) {
+		if ((count++)>2)
+		    break;
+		String reffile=currentref+".html";
+		ps.println("<a href=\""+reffile+"\">"+reffile+"</a>");
+		currentref++;
+	    }
+	    current++;
+	    fos.close();
+	    } catch (Exception e) {e.printStackTrace();}
+	}
+    }
+
+
+}
-- 
2.34.1