X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FUtil%2FEdge.java;fp=Robust%2Fsrc%2FUtil%2FEdge.java;h=0000000000000000000000000000000000000000;hb=cdcf09c40af1419fa42932aae249cb79b69b5daf;hp=2d95adbb255a03638054d76528018c905b701556;hpb=2f2cbbbc9385b82d891fabf62ab7e0c5cf364658;p=IRC.git

diff --git a/Robust/src/Util/Edge.java b/Robust/src/Util/Edge.java
deleted file mode 100644
index 2d95adbb..00000000
--- a/Robust/src/Util/Edge.java
+++ /dev/null
@@ -1,51 +0,0 @@
-package Util;
-
-/* Edge *****************/
-
-public class Edge {
-    protected GraphNode target;
-    protected GraphNode source;
-    protected boolean processed = false; 
-    
-
-    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 setProcessed() {
-	processed = true;
-    }
-    
-    public boolean isProcessed(){
-	return processed;
-    }
-    
-    public void setDotNodeParameters(String param) {
-	if (param == null) {
-	    throw new NullPointerException();
-	}
-        if (dotnodeparams.length() > 0) {
-            dotnodeparams += "," + param;
-        } else { 
-            dotnodeparams = param;
-        }
-    }
-}