add another class

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TagEdge.java b/Robust/src/Analysis/TaskStateAnalysis/TagEdge.java
new file mode 100644 (file)
index 0000000..0c594f7
--- /dev/null
+++ b/Robust/src/Analysis/TaskStateAnalysis/TagEdge.java
@@ -0,0 +1,39 @@
+package Analysis.TaskStateAnalysis;
+import IR.*;
+import Analysis.TaskStateAnalysis.*;
+import IR.Tree.*;
+import IR.Flat.*;
+import java.util.*;
+import Util.Edge;
+
+/* Edge *****************/
+
+public class TagEdge extends Edge {
+
+    private TaskDescriptor td;
+    /** Class Constructor
+     * 
+     */
+    public TagEdge(TagState target, TaskDescriptor td) {
+       super(target);
+       this.td=td;
+    }
+    
+    public int hashCode(){
+       return target.hashCode()^td.hashCode();
+    }
+
+    public TaskDescriptor getTask() {
+       return td;
+    }
+
+    public boolean equals(Object o) {
+        if (o instanceof TagEdge) {
+            TagEdge e=(TagEdge)o;
+           if (e.target.equals(target)&&
+               e.td==td)
+               return true;
+        }
+        return false;
+    }
+}