check in parameters

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TEdge.java b/Robust/src/Analysis/TaskStateAnalysis/TEdge.java
index 869272cc3c302318be44af35acaa9d282646e83b..96bdabe60381e128838acb3e7996800a81d308ec 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TEdge.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TEdge.java
@@ -9,16 +9,15 @@ import Util.Edge;
 
 public class TEdge extends Edge{
        
-       private String target;
-       
-       public TEdge(TaskNode target){
-               super(target);
-       }
+    
+    public TEdge(TaskNode target){
+       super(target);
+    }
        
           
         
     public int hashCode(){
-       return target.hashCode()^target.toString().hashCode();
+       return target.hashCode();
     }
     
        

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
index 42c07e570765ee0ac43f9577c3b1adf7b5b67e3e..0ac4a68af8f1503619d4c2b70c4461978a351d29 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
@@ -259,7 +259,9 @@ private void analyseTasks(FlagState fs) {
 
 
 private boolean isTaskTrigger_flag(FlagExpressionNode fen,FlagState fs) {
-    if (fen instanceof FlagNode)
+    if (fen==null)
+       return true;
+    else if (fen instanceof FlagNode)
        return fs.get(((FlagNode)fen).getFlag());
     else
        switch (((FlagOpNode)fen).getOp().getOp()) {