*Fixed the problem with double lined nodes. (It was due to incorrect
authorsivaji <sivaji>
Fri, 8 Jun 2007 14:34:01 +0000 (14:34 +0000)
committersivaji <sivaji>
Fri, 8 Jun 2007 14:34:01 +0000 (14:34 +0000)
values in the cdtorootnodes datastructure)

Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
Robust/src/Interface/WebInterface.java

index 45cf7bea582779bedf93eb081cd3fa28ff68c48a..fc2deea302fffb04c10233724ce746cbe043992d 100644 (file)
@@ -211,7 +211,7 @@ private void analyseTasks(FlagState fs) {
            FlagState fsnew=(FlagState) fsit.next();
            fsnew.setAsSourceNode();
            fsnew.addAllocatingTask(td);
-           ((Vector)cdtorootnodes.get(cd)).add(fsnew);
+           ((Vector)cdtorootnodes.get(fsnew.getClassDescriptor())).add(fsnew);
            
            if (! ((Hashtable<FlagState,FlagState>)flagstates.get(fsnew.getClassDescriptor())).containsKey(fsnew)) {
                ((Hashtable<FlagState,FlagState>)flagstates.get(fsnew.getClassDescriptor())).put(fsnew, fsnew);
index 9b4d49c258d5794295ef54ba95737fe28f912a66..534fba4195880068610eb9d1121a6531ec76a5f2 100644 (file)
@@ -44,6 +44,7 @@ public class WebInterface {
                                               // 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
+                               System.out.println(cd+" "+root.getLabel());
                        sourcenodemap.put("/"+cd.getSymbol()+"_"+root.getLabel()+".html",cd_nodeid);
                }
                }