From 53afd60cc3c0e0cc50ecb2307fafd7076332fc63 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 23 May 2007 07:25:23 +0000
Subject: [PATCH] change interface since we don't need this information - it is
 already in the edge

---
 Robust/src/Util/GraphNode.java | 20 ++++++++++++++++++--
 Robust/src/Util/Namer.java     |  4 ++--
 2 files changed, 20 insertions(+), 4 deletions(-)

diff --git a/Robust/src/Util/GraphNode.java b/Robust/src/Util/GraphNode.java
index 154ae591..cbe96016 100755
--- a/Robust/src/Util/GraphNode.java
+++ b/Robust/src/Util/GraphNode.java
@@ -103,6 +103,22 @@ public class GraphNode {
         return this.status;
     }
 
+    public int numedges() {
+	return edges.size();
+    }
+
+    public int numinedges() {
+	return inedges.size();
+    }
+
+    public Edge getedge(int i) {
+	return (Edge) edges.get(i);
+    }
+
+    public Edge getinedge(int i) {
+	return (Edge) inedges.get(i);
+    }
+
     public Iterator edges() {
         return edges.iterator();
     }
@@ -234,8 +250,8 @@ public class GraphNode {
 
 			    for(int i=0;i<namers.size();i++) {
 				Namer name=(Namer) namers.get(i);
-				String newlabel=name.edgeLabel(gn, edge);
-				String newoption=name.edgeOption(gn, edge);
+				String newlabel=name.edgeLabel(edge);
+				String newoption=name.edgeOption(edge);
 				if (!newlabel.equals("")&& ! edgelabel.equals(""))
 				    edgelabel+=", ";
 				edgelabel+=newlabel;
diff --git a/Robust/src/Util/Namer.java b/Robust/src/Util/Namer.java
index 86d4b48b..1e8d3c38 100644
--- a/Robust/src/Util/Namer.java
+++ b/Robust/src/Util/Namer.java
@@ -11,11 +11,11 @@ public class Namer {
 	return gn.dotnodeparams;
     }
 
-    public String edgeLabel(GraphNode src, Edge e) {
+    public String edgeLabel(Edge e) {
 	return e.getLabel();
     }
 
-    public String edgeOption(GraphNode src, Edge e) {
+    public String edgeOption(Edge e) {
 	return e.dotnodeparams;
     }
 }
-- 
2.34.1