Change tabbing for everything....

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java b/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java
index 4b6bf7696d9a9ab0857013f0215755ad7cc6073c..3585d52907f30dff1b314f2c7c5a38844bdb704f 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskNodeNamer.java
@@ -1,15 +1,16 @@
 package Analysis.TaskStateAnalysis;
 import Util.*;
 
-public class TaskNodeNamer extends Namer{
-       public TaskNodeNamer(){}
+public class TaskNodeNamer extends Namer {
+  public TaskNodeNamer() {
+  }
 
-       public String nodeLabel(GraphNode gn){
-               return "";
-       }
+  public String nodeLabel(GraphNode gn) {
+    return "";
+  }
 
-       public String nodeOption(GraphNode gn){
-               return "URL=\""+gn.getName()+".html\"";
-       }
+  public String nodeOption(GraphNode gn) {
+    return "URL=\""+gn.getName()+".html\"";
+  }
 
-}      
+}