From: sivaji <sivaji>
Date: Wed, 18 Apr 2007 16:32:36 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: preEdgeChange~618
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f630820d7a89c41c2022716cbd242bdf10157d07;p=IRC.git

*** 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
index 00000000..2c1ba993
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 0d449b8b..a5b34640 100644
--- 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;