Migrate GraphNode functionality into its own class and we inherit from this class...

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
index 4e78681628f3edd093b77963e63fffa424a0ffcc..6469560ebae177464396166dbd029f609b9f2e62 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
@@ -228,7 +228,7 @@ public class TaskAnalysis {
                        }
                        //seen this node already
                        fs_taskexit=canonicalizeFlagState(sourcenodes,fs_taskexit);
-                       Edge newedge=new Edge(fs_taskexit,taskname);
+                       FEdge newedge=new FEdge(fs_taskexit,taskname);
                        fs.addEdge(newedge);
                }
                }
@@ -424,7 +424,7 @@ private boolean isTaskTrigger_tag(TagExpressionList tel, FlagState fs){
            toprocess.add(fstemp);
 
        fstemp=canonicalizeFlagState(sourcenodes,fstemp);
-       fs.addEdge(new Edge(fstemp,"Runtime"));
+       fs.addEdge(new FEdge(fstemp,"Runtime"));
     }
        }
 }