From f88d615f2903d590e6e6d5c86853a8dc568eb785 Mon Sep 17 00:00:00 2001
From: sivaji <sivaji>
Date: Fri, 8 Jun 2007 01:08:54 +0000
Subject: [PATCH] *Namer extensions

---
 .../Analysis/TaskStateAnalysis/TaskEdges.java | 25 +++++++++++++++++++
 .../TaskStateAnalysis/TaskNodeNamer.java      | 15 +++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java
 create mode 100644 Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java

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\"";
+	}
+
+}	
-- 
2.34.1