start of new file

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskQueueIterator.java b/Robust/src/Analysis/TaskStateAnalysis/TaskQueueIterator.java
index 909aa5e5514af7866e21d95e5fb4522bf0923dbf..7e6898aa177a09c003d758593cc1db392706af44 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskQueueIterator.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskQueueIterator.java
@@ -56,6 +56,11 @@ public class TaskQueueIterator {
            i=0;
        }
 
+       if (i==0&&index==0&&ftsarray[0]!=null&&!needit) {
+           needinit=false;
+           return true;
+       }
+
        objloop:
        for(;i<ftsarray.length;i++) {
            FlagState currfs=ftsarray[i].fs;