From: sivaji <sivaji>
Date: Fri, 8 Jun 2007 01:08:54 +0000 (+0000)
Subject: *Namer extensions
X-Git-Tag: preEdgeChange~557
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=f88d615f2903d590e6e6d5c86853a8dc568eb785;p=IRC.git

*Namer extensions
---

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java b/Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java
new file mode 100644
index 00000000..2c20ca9d
--- /dev/null
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java
@@ -0,0 +1,25 @@
+package Analysis.TaskStateAnalysis;
+import Util.*;
+
+public class TaskEdges extends Namer{
+	public TaskEdges(){}
+
+	public String nodeLabel(GraphNode gn) {
+	return "";
+    }
+    
+    public String nodeOption(GraphNode gn) {
+	return "";
+    }
+	
+	
+	public String edgeLabel(Edge edge){
+		return "";
+	}
+	
+
+	public String edgeOption(Edge edge){
+		return "URL=\""+edge.getLabel()+".html\"";
+	}
+
+}	
diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java b/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java
new file mode 100644
index 00000000..4b6bf769
--- /dev/null
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java
@@ -0,0 +1,15 @@
+package Analysis.TaskStateAnalysis;
+import Util.*;
+
+public class TaskNodeNamer extends Namer{
+	public TaskNodeNamer(){}
+
+	public String nodeLabel(GraphNode gn){
+		return "";
+	}
+
+	public String nodeOption(GraphNode gn){
+		return "URL=\""+gn.getName()+".html\"";
+	}
+
+}