Change tabbing for everything....

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskNode.java b/Robust/src/Analysis/TaskStateAnalysis/TaskNode.java
index 7ee1c36f540dbcd88ecc62843c085c98f7e5efa5..2b776c8e93fe6fe3b1fdc6fb7a0ae92760439483 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskNode.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskNode.java
@@ -8,69 +8,69 @@ import java.io.*;
 import Util.GraphNode;
 
 public class TaskNode extends GraphNode {
-       
-    private final String name;
-    protected int uid;
-    private static int nodeid=0;
-    // private int loopmarker=0;
-    //private boolean multipleparams=false;
-    /**Class Constructor
-     * Creates a new TaskNode using the TaskDescriptor.
-     * @param tasknode TaskDescriptor
-     */
-    public TaskNode(String name){
-           this.name=name;
-           this.uid=TaskNode.nodeid++;
-    }
-     
-    /**Returns the string representation of the node 
-     * @return string representation of the tasknode (e.g "Task foo")
-     */
-    public String getTextLabel() {
-               return "Task "+name;
-       }
-       
-       public String getLabel() {
-       return "N"+uid;
-    }
 
-    public String getName(){
-           return name;
-    }
+  private final String name;
+  protected int uid;
+  private static int nodeid=0;
+  // private int loopmarker=0;
+  //private boolean multipleparams=false;
+  /**Class Constructor
+   * Creates a new TaskNode using the TaskDescriptor.
+   * @param tasknode TaskDescriptor
+   */
+  public TaskNode(String name) {
+    this.name=name;
+    this.uid=TaskNode.nodeid++;
+  }
 
-    // public int getuid(){
-    //return uid;
-    //}
-       
-       
-       /**toString method.
-        * @return  string representation of the tasknode (e.g "Task foo")
-        */
-       public String toString(){
-               return getTextLabel();
-       }
-       
-       public int hashCode(){
-               return name.hashCode();
-               
-       }
-       
-       public boolean equals(Object o) {
-        if (o instanceof TaskNode) {
-           TaskNode tn=(TaskNode)o;
-           return (tn.name.equals(name));
-        }
-        return false;
-    }
-     
-    public boolean edgeExists(TEdge newedge){
-           if(edges.isEmpty())
-               return false;
-           else
-               return edges.contains(newedge);
+  /**Returns the string representation of the node
+   * @return string representation of the tasknode (e.g "Task foo")
+   */
+  public String getTextLabel() {
+    return "Task "+name;
+  }
+
+  public String getLabel() {
+    return "N"+uid;
+  }
+
+  public String getName() {
+    return name;
+  }
+
+  // public int getuid(){
+  //return uid;
+  //}
+
+
+  /**toString method.
+   * @return  string representation of the tasknode (e.g "Task foo")
+   */
+  public String toString() {
+    return getTextLabel();
+  }
+
+  public int hashCode() {
+    return name.hashCode();
+
+  }
+
+  public boolean equals(Object o) {
+    if (o instanceof TaskNode) {
+      TaskNode tn=(TaskNode)o;
+      return (tn.name.equals(name));
     }
-    
+    return false;
+  }
+
+  public boolean edgeExists(TEdge newedge) {
+    if(edges.isEmpty())
+      return false;
+    else
+      return edges.contains(newedge);
+  }
+
 }
-       
-     
-     
+
+
+