From: sivaji <sivaji>
Date: Fri, 28 Dec 2007 06:29:17 +0000 (+0000)
Subject: Removed the listing of links for classes without flags from the index page.
X-Git-Tag: preEdgeChange~328
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=912c6ea39bc232db0b1f4f5c093a5d0f6108f22d;p=IRC.git

Removed the listing of links for classes without flags from the index page.
---

diff --git a/Robust/src/Interface/WebInterface.java b/Robust/src/Interface/WebInterface.java
index d7135100..17b71df4 100644
--- a/Robust/src/Interface/WebInterface.java
+++ b/Robust/src/Interface/WebInterface.java
@@ -224,6 +224,7 @@ public class WebInterface {
 	PrintWriter pw=new PrintWriter(out);
 	for(Iterator it_classes=state.getClassSymbolTable().getDescriptorsIterator();it_classes.hasNext();) {
 	    ClassDescriptor cd=(ClassDescriptor) it_classes.next();
+	    if (cd.hasFlags()){
 	    if (taskanalysis.getFlagStates(cd)!=null) {
 		pw.println("<a href=\""+cd.getSymbol()+".html\">"+ cd.getSymbol() +"</a>");
 		pw.println("<br>");
@@ -234,6 +235,7 @@ public class WebInterface {
 		pw.println("<br>");
 		taskgraphmap.put("/"+cd.getSymbol()+"-t.html", cd);
 	    }
+    	}
 	}
 	pw.println("<br><br><a href=\"/UnifiedTaskGraph.html\">Program flow</a>");
 	pw.flush();