*** empty log message ***

diff --git a/Robust/src/Analysis/TaskStateAnalysis/Task Analysis.pdf b/Robust/src/Analysis/TaskStateAnalysis/Task Analysis.pdf
new file mode 100644 (file)
index 0000000..2c1ba99
Binary files /dev/null and b/Robust/src/Analysis/TaskStateAnalysis/Task Analysis.pdf differ

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
index 0d449b8b0b82c1600e21f93db638d03f09356d54..a5b346403685b23d71394735aff0f5916badb37c 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
@@ -123,14 +123,14 @@ public class TaskAnalysis {
        }
        while (q_main.size() > 0) {
            // ****debug block********
+           
+           System.out.println("/***********contents of main q**********/");
            for (Iterator it_qm=q_main.iterator();it_qm.hasNext();)
                {
                    TriggerState ts_qm=(TriggerState)it_qm.next();
                    FlagState fs_qm=ts_qm.getState();
-                   System.out.println("/***********contents of main q**********/");
-                   System.out.println("FS : "+fs_qm.toString((FlagDescriptor [])flags.get(ts_qm.getClassDescriptor())));
-                   
                    
+                   System.out.println("FS : "+fs_qm.toString((FlagDescriptor [])flags.get(ts_qm.getClassDescriptor())));
                }
            System.out.println("/*********************************/");
            // ****debug block********
@@ -191,10 +191,9 @@ public class TaskAnalysis {
            //***Debug Block***
            FlagDescriptor[] ftemp=(FlagDescriptor[])flags.get(cd);
            System.out.println("Processing state: "+cd.getSymbol()+" " + fsworking.toString(ftemp));
-
            //***Debug Block***
 
-           
+                   
            for(Iterator it_tasks=state.getTaskSymbolTable().getDescriptorsIterator();it_tasks.hasNext();) {
                TaskDescriptor td = (TaskDescriptor)it_tasks.next();
                boolean taskistriggered=false;