From e4dc1f03e266a0e90a366478fcd86343e73b8023 Mon Sep 17 00:00:00 2001 From: sivaji Date: Fri, 8 Jun 2007 01:19:16 +0000 Subject: [PATCH] *** empty log message *** --- Robust/src/Interface/WebInterface.java | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Robust/src/Interface/WebInterface.java b/Robust/src/Interface/WebInterface.java index 2a75467a..b55415e8 100644 --- a/Robust/src/Interface/WebInterface.java +++ b/Robust/src/Interface/WebInterface.java @@ -35,9 +35,11 @@ public class WebInterface { if(rootnodes!=null) for(Iterator it_rootnodes=rootnodes.iterator();it_rootnodes.hasNext();){ FlagState root=(FlagState)it_rootnodes.next(); - Vector cd_nodeid=new Vector(); - cd_nodeid.addElement(cd); - cd_nodeid.addElement(root.getLabel()); + Vector cd_nodeid=new Vector(); //Vector is designed to contain only 2 elements: ClassDescriptor,Node label + // Both the values are required to correctly resolve the rootnode. + // Should think of a better way to do this, instead of using a vector(maybe a class) + cd_nodeid.addElement(cd); //adding the ClassDescriptor + cd_nodeid.addElement(root.getLabel()); //adding the Node label sourcenodemap.put("/"+cd.getSymbol()+"_"+root.getLabel()+".html",cd_nodeid); } } -- 2.34.1