Change tabbing for everything....

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TaskEdges.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java b/Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java
index 2c20ca9da8fb689c6964419774a34ffd11281938..c9793975647e239dbba60741a3af8acc5073ec39 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskEdges.java
@@ -1,25 +1,26 @@
 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\"";
-       }
-
-}      
+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\"";
+  }
+
+}