From 912c6ea39bc232db0b1f4f5c093a5d0f6108f22d Mon Sep 17 00:00:00 2001
From: sivaji <sivaji>
Date: Fri, 28 Dec 2007 06:29:17 +0000
Subject: [PATCH] Removed the listing of links for classes without flags from
 the index page.

---
 Robust/src/Interface/WebInterface.java | 2 ++
 1 file changed, 2 insertions(+)

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();
-- 
2.34.1