changes on the SJava inference

[IRC.git] / Robust / src / Analysis / SSJava / FlowGraph.java

diff --git a/Robust/src/Analysis/SSJava/FlowGraph.java b/Robust/src/Analysis/SSJava/FlowGraph.java
index 049317d8ee210ca72c975d20e774be05c10d9ef5..da480be4c02413b1bd86c4c36fef7e4dbcbbab9b 100644 (file)
--- a/Robust/src/Analysis/SSJava/FlowGraph.java
+++ b/Robust/src/Analysis/SSJava/FlowGraph.java
@@ -45,11 +45,15 @@ public class FlowGraph {
     FlowNode thisNode = new FlowNode(thisDescTuple);
     NTuple<Descriptor> thisVarTuple = new NTuple<Descriptor>();
     thisVarTuple.add(md.getThis());
-    mapDescTupleToInferNode.put(thisVarTuple, thisNode);
+    createNewFlowNode(thisVarTuple);
     thisVarNode = thisNode;
 
   }
 
+  public Set<FlowNode> getNodeSet() {
+    return nodeSet;
+  }
+
   public void addNeighbor(FlowNode node, FlowNode neighbor) {
     Set<FlowNode> set = mapNodeToNeighborSet.get(node);
     if (set == null) {