X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FUtil%2FEdge.java;fp=Robust%2Fsrc%2FUtil%2FEdge.java;h=0000000000000000000000000000000000000000;hp=8b13b03d3d1fea5bc08c0e8ccb466fcaffcce48b;hb=refs%2Ftags%2Fbuildscript;hpb=b9df1caacff3dbe5959bc12e0e6ba46500fcd3e2

diff --git a/Robust/src/Util/Edge.java b/Robust/src/Util/Edge.java
deleted file mode 100644
index 8b13b03d..00000000
--- a/Robust/src/Util/Edge.java
+++ /dev/null
@@ -1,72 +0,0 @@
-package Util;
-
-/* Edge *****************/
-
-public class Edge {
-    protected GraphNode target;
-    protected GraphNode source;
-
-    protected String dotnodeparams = new String();
-    
-    public Edge(GraphNode target) {
-	this.target = target;
-    }
-    
-    public String getLabel() {
-	return "";
-    }
-    
-    public void setSource(GraphNode s) {
-	this.source=s;
-    }
-    
-    public GraphNode getSource() {
-	return source;
-    }
-    
-    public GraphNode getTarget() {
-	return target;
-    }
-
-    public void setDotNodeParameters(String param) {
-	if (param == null) {
-	    throw new NullPointerException();
-	}
-        if (dotnodeparams.length() > 0) {
-            dotnodeparams += "," + param;
-        } else { 
-            dotnodeparams = param;
-        }
-    }
-    
-    public static final EdgeStatus UNVISITED = new EdgeStatus("UNVISITED");
-    public static final EdgeStatus PROCESSING = new EdgeStatus("PROCESSING");
-    public static final EdgeStatus FINISHED = new EdgeStatus("FINISHED");
-    
-    public static class EdgeStatus {
-        private static String name;
-        private EdgeStatus(String name) { this.name = name; }
-        public String toString() { return name; }
-    }
-    
-    int discoverytime = -1;
-    int finishingtime = -1; /* used for searches */
-    EdgeStatus status = UNVISITED;
-    
-    void reset() {
-	    discoverytime = -1;
-	    finishingtime = -1;
-	    status = UNVISITED;
-    }
-    
-    void discover(int time) {
-    	discoverytime = time;
-    	status = PROCESSING;
-    }
-
-    void finish(int time) {
-        assert status == PROCESSING;
-    	finishingtime = time;
-        status = FINISHED;
-    }
-}