From 209d0a9d8adf6ffca3bd346696040f03a9a875f2 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 31 Jul 2006 08:17:03 +0000
Subject: [PATCH] remove obsolete test files

---
 Robust/src/f.test |  19 ------
 Robust/src/t.test | 149 ----------------------------------------------
 2 files changed, 168 deletions(-)
 delete mode 100644 Robust/src/f.test
 delete mode 100644 Robust/src/t.test

diff --git a/Robust/src/f.test b/Robust/src/f.test
deleted file mode 100644
index 20915f34..00000000
--- a/Robust/src/f.test
+++ /dev/null
@@ -1,19 +0,0 @@
-public class Test {
-    public Test() {
-     ;
-    }
-    int a;
-    public static void main() {
-	Test t=new Test();
-	for(int i=3;i<100000;i++) {
-		boolean flag=true;
-		for(int j=2;flag&&j<i;j++) {
-			if ((i%j)==0)
-                            flag=false;
-		}
-//		if (flag)
-//			System.printInt(i);
-	}
-    }
-}
-
diff --git a/Robust/src/t.test b/Robust/src/t.test
deleted file mode 100644
index c8a7aece..00000000
--- a/Robust/src/t.test
+++ /dev/null
@@ -1,149 +0,0 @@
-public class ParseNode  {
-
-    private String label;
-    private ParseNode parent;
-    private int line=-1;
-    private Object literal;
-
-    //private SymbolTable st;
-
-    public ParseNode(String label) {
-	this.label = label;
-	this.line = -1;
-	this.parent = null;
-	this.literal=null;
-    }
-
-    public ParseNode ( String label, int line ) {
-	this.label = label;
-	this.line = line;
-	this.parent = null;
-	this.literal=null;
-    }
-
-    public void setLabel( String label ) {
-	this.label = label;
-    }
-
-    public String getLabel() {
-	return label;
-    }
-
-    public void setLiteral(Object o) {
-	literal=o;
-    }
-
-    public Object getLiteral(Object o) {
-	return literal;
-    }
-
-    /*
-    public void setSymbolTable(SymbolTable st) {
-	if (st == null) {
-	    throw new IRException("symboltable is null!");
-	}
-	this.st = st;
-    }
-
-    public SymbolTable getSymbolTable() {
-	if (st == null) {
-	    if (parent != null) {
-		return parent.getSymbolTable();
-	    } else {
-		return null;
-	    }
-	} else {
-	    return st;
-	}
-    }
-    */
-
-    public int getLine() {
-	if (line >= 0) {
-	    return line;
-	} else {
-	    if (parent != null) {
-		return parent.getLine();
-	    } else {
-		return 0;
-	    }
-	}
-    }
-
-    public void setParent( ParseNode parent ) {
-	this.parent = parent;
-    }
-
-    public ParseNode getParent() {
-	return parent;
-    }
-
-    public ParseNode insertChild(ParseNode child) {
-	if (child == null) {
-	}
-
-	child.setParent(this);
-	return child;
-    }
-
-    public ParseNode insertChild(String newlabel) {
-	ParseNode child = new ParseNode(newlabel, -1);
-	return insertChild(child);
-    }
-
-    public ParseNode addChild( ParseNode child ) {
-
-	if (child == null) {
-	}
-
-	child.setParent(this);
-	return child;
-    }
-
-    public ParseNode addChild( String newlabel ) {
-	ParseNode child = new ParseNode(newlabel, -1);
-	child.setParent(this);
-	return child;
-    }
-
-    public ParseNode addChild (String newlabel, int line) {
-	ParseNode child = new ParseNode(newlabel, line);
-	child.setParent(this);
-	return child;
-    }
-
-
-    public ParseNode getChild (String label) {
-	int i;
-	ParseNode p;
-
-
-	return null;
-    }
-
-    public ParseNode getRoot() {
-	if (parent==null)
-        return 	this; else return parent.getRoot();
-    }
-
-    public String getTerminal () {
-	return null;
-    }
-
-
-
-    public String getNodeName() {
-	return label;
-    }
-
-    public String doIndent(int indent) {
-	String output = null;
-        for(int i=0;i<indent;i++) ;
-	return output;
-    }
-
-}
-
-public class String {}
-
-public class ParseNodeVector {}
-- 
2.34.1