*Namer extensions

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java b/Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java
new file mode 100644 (file)
index 0000000..2c20ca9
--- /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 (file)
index 0000000..4b6bf76
--- /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\"";
+       }
+
+}