change example for now...

diff --git a/Robust/src/Benchmarks/oooJava/simplebh/TestRunner.java b/Robust/src/Benchmarks/oooJava/simplebh/TestRunner.java
index 10cbdffbc4d554c066cd712a17cb9eae4987e8bc..9de5c21bc94936fe8aa03c31b380da9eccd38fbc 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/simplebh/TestRunner.java
+++ b/Robust/src/Benchmarks/oooJava/simplebh/TestRunner.java
@@ -45,6 +45,8 @@ public class TestRunner {
   }
 
   private void insert(TreeIndexGraph tree, TreeIndexNode nn, LeafNodeData leafNodeData) {
+    if (nn.children==null)
+      nn.children=new TreeIndexNode[2];
     if (nn.children[0] == null) {
       TreeIndexNode newNode = tree.createNode(leafNodeData);
       tree.addNode(newNode);

diff --git a/Robust/src/Benchmarks/oooJava/simplebh/TreeIndexNode.java b/Robust/src/Benchmarks/oooJava/simplebh/TreeIndexNode.java
index 4224068c5defc041703afee9d7411642d6bd29f5..a60a9d520ab8de409d9d4771756ae295d8fa18fb 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/simplebh/TreeIndexNode.java
+++ b/Robust/src/Benchmarks/oooJava/simplebh/TreeIndexNode.java
@@ -10,7 +10,6 @@ public class TreeIndexNode {
 
   public TreeIndexNode(LeafNodeData data) {
     this.data = data;
-    this.children = new TreeIndexNode[2];
   }
 
   public void advance() {
@@ -31,12 +30,8 @@ public class TreeIndexNode {
 
     if (nn.data == null) { // nn is cell
 
-      if (nn.children[0] != null) {
-        recurseForce(nn.children[0]);
-      }
-
-      if (nn.children[1] != null) {
-        recurseForce(nn.children[1]);
+      for(int i=0;i<nn.children.length;i++) {
+       recurseForce(nn.children[i]);
       }
 
       // } else { // nn is body