start of new file

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / EGEdge.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java b/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java
index b4f7d00477289979d686f8c7b25fc3ceddd9f066..12254037b289deee8829b422dacf27a6d29d074b 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java
@@ -1,36 +1,20 @@
 package Analysis.TaskStateAnalysis;
-import IR.*;
-import Analysis.TaskStateAnalysis.*;
-import IR.Tree.*;
-import IR.Flat.*;
 import java.util.*;
 import Util.Edge;
 
 
 public class EGEdge extends Edge{
-    EGTaskNode target;
-
-    
-    public EGEdge(EGTaskNode target){
+    FlagState fs;
+    public EGEdge(FlagState fs, EGTaskNode target){
        super(target);
-       this.target = target;
+       this.fs=fs;
     }
 
-    public EGTaskNode getTarget(){
-       return target;
-    }
-                
-    public int hashCode(){
-       return target.hashCode();
-    }
-       
-    public boolean equals(Object o) {
-        if (o instanceof EGEdge) {
-            EGEdge e=(EGEdge)o;
-           return e.target.equals(target);
-        }
-        return false;
+    public FlagState getFS() {
+       return fs;
     }
 
-    
+    public EGTaskNode getTarget(){
+       return (EGTaskNode) target;
+    }
 }