Change tabbing for everything....

[IRC.git] / Robust / src / Util / Edge.java

diff --git a/Robust/src/Util/Edge.java b/Robust/src/Util/Edge.java
index 8b13b03d3d1fea5bc08c0e8ccb466fcaffcce48b..598572d58c81e5f073e6ddc004da5bfcdb55c02d 100644 (file)
--- a/Robust/src/Util/Edge.java
+++ b/Robust/src/Util/Edge.java
@@ -3,70 +3,74 @@ package Util;
 /* Edge *****************/
 
 public class Edge {
-    protected GraphNode target;
-    protected GraphNode source;
+  protected GraphNode target;
+  protected GraphNode source;
 
-    protected String dotnodeparams = new String();
-    
-    public Edge(GraphNode target) {
-       this.target = target;
-    }
-    
-    public String getLabel() {
-       return "";
-    }
-    
-    public void setSource(GraphNode s) {
-       this.source=s;
-    }
-    
-    public GraphNode getSource() {
-       return source;
-    }
-    
-    public GraphNode getTarget() {
-       return target;
-    }
+  protected String dotnodeparams = new String();
+
+  public Edge(GraphNode target) {
+    this.target = target;
+  }
+
+  public String getLabel() {
+    return "";
+  }
+
+  public void setSource(GraphNode s) {
+    this.source=s;
+  }
 
-    public void setDotNodeParameters(String param) {
-       if (param == null) {
-           throw new NullPointerException();
-       }
-        if (dotnodeparams.length() > 0) {
-            dotnodeparams += "," + param;
-        } else { 
-            dotnodeparams = param;
-        }
+  public GraphNode getSource() {
+    return source;
+  }
+
+  public GraphNode getTarget() {
+    return target;
+  }
+
+  public void setDotNodeParameters(String param) {
+    if (param == null) {
+      throw new NullPointerException();
     }
-    
-    public static final EdgeStatus UNVISITED = new EdgeStatus("UNVISITED");
-    public static final EdgeStatus PROCESSING = new EdgeStatus("PROCESSING");
-    public static final EdgeStatus FINISHED = new EdgeStatus("FINISHED");
-    
-    public static class EdgeStatus {
-        private static String name;
-        private EdgeStatus(String name) { this.name = name; }
-        public String toString() { return name; }
+    if (dotnodeparams.length() > 0) {
+      dotnodeparams += "," + param;
+    } else {
+      dotnodeparams = param;
     }
-    
-    int discoverytime = -1;
-    int finishingtime = -1; /* used for searches */
-    EdgeStatus status = UNVISITED;
-    
-    void reset() {
-           discoverytime = -1;
-           finishingtime = -1;
-           status = UNVISITED;
+  }
+
+  public static final EdgeStatus UNVISITED = new EdgeStatus("UNVISITED");
+  public static final EdgeStatus PROCESSING = new EdgeStatus("PROCESSING");
+  public static final EdgeStatus FINISHED = new EdgeStatus("FINISHED");
+
+  public static class EdgeStatus {
+    private static String name;
+    private EdgeStatus(String name) {
+      this.name = name;
     }
-    
-    void discover(int time) {
-       discoverytime = time;
-       status = PROCESSING;
+    public String toString() {
+      return name;
     }
+  }
 
-    void finish(int time) {
-        assert status == PROCESSING;
-       finishingtime = time;
-        status = FINISHED;
-    }
+  int discoverytime = -1;
+  int finishingtime = -1;   /* used for searches */
+  EdgeStatus status = UNVISITED;
+
+  void reset() {
+    discoverytime = -1;
+    finishingtime = -1;
+    status = UNVISITED;
+  }
+
+  void discover(int time) {
+    discoverytime = time;
+    status = PROCESSING;
+  }
+
+  void finish(int time) {
+    assert status == PROCESSING;
+    finishingtime = time;
+    status = FINISHED;
+  }
 }