From f3cf1d11e7f8622459bc99ab818311d10e66d49d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 11 Jan 2008 07:09:26 +0000
Subject: [PATCH] add another class

---
 .../Analysis/TaskStateAnalysis/TagEdge.java   | 39 +++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 Robust/src/Analysis/TaskStateAnalysis/TagEdge.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TagEdge.java b/Robust/src/Analysis/TaskStateAnalysis/TagEdge.java
new file mode 100644
index 00000000..0c594f72
--- /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;
+    }
+}
-- 
2.34.1