From: bdemsky <bdemsky>
Date: Fri, 11 Jan 2008 07:09:26 +0000 (+0000)
Subject: add another class
X-Git-Tag: preEdgeChange~307
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f3cf1d11e7f8622459bc99ab818311d10e66d49d;p=IRC.git

add another class
---

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;
+    }
+}