bug fixes

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

diff --git a/Robust/src/Util/Edge.java b/Robust/src/Util/Edge.java
index 472a3bfc4fdc35bb84b337a4df6107a1563c9afe..8b13b03d3d1fea5bc08c0e8ccb466fcaffcce48b 100644 (file)
--- a/Robust/src/Util/Edge.java
+++ b/Robust/src/Util/Edge.java
@@ -5,6 +5,7 @@ package Util;
 public class Edge {
     protected GraphNode target;
     protected GraphNode source;
+
     protected String dotnodeparams = new String();
     
     public Edge(GraphNode target) {
@@ -26,7 +27,7 @@ public class Edge {
     public GraphNode getTarget() {
        return target;
     }
-    
+
     public void setDotNodeParameters(String param) {
        if (param == null) {
            throw new NullPointerException();
@@ -37,4 +38,35 @@ public class Edge {
             dotnodeparams = param;
         }
     }
+    
+    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; }
+    }
+    
+    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;
+    }
 }