From 2bfc4055cd215be961a882cab0256b038350f61a Mon Sep 17 00:00:00 2001
From: brian <brian@brianweb.net>
Date: Fri, 9 Apr 2004 02:22:58 +0000
Subject: [PATCH] bug 531

darcs-hash:20040409022258-24bed-acb17799fd91e8c3b4e80e21e34c70245193b98c.gz
---
 src/org/ibex/util/BalancedTree.java |   10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/org/ibex/util/BalancedTree.java b/src/org/ibex/util/BalancedTree.java
index 615db24..1c42ef1 100644
--- a/src/org/ibex/util/BalancedTree.java
+++ b/src/org/ibex/util/BalancedTree.java
@@ -27,7 +27,7 @@ public class BalancedTree {
 
     /** the number of elements in the tree */
     public final int treeSize() { return root == 0 ? 0 : size[root]; }
-
+    
     /** clamps index to [0..treeSize()] and inserts object o *before* the specified index */
     public final synchronized void insertNode(int index, Object o) {
         if(o == null) throw new Error("can't insert nulls in the balanced tree");
@@ -223,13 +223,11 @@ public class BalancedTree {
         int c = left[d];
         if (d <= 0) throw new Error("rotation error");
         left[d] = b;
-        if(size[b] <= 3) // b is now a leaf
-            right[b] = -d;
-        else
-            right[b] = c;
+        right[b] = c <= 0 ? -d : c;
         parent[b] = d;
         parent[d] = p;
         if(c > 0) parent[c] = b;
+        
         if (p == 0)              root = d;
         else if (left[p] == b)   left[p] = d;
         else if (right[p] == b)  right[p] = d;
@@ -333,7 +331,6 @@ public class BalancedTree {
 
         // we found the node to delete
         } else {
-
             // fast path: it has no children
             if (left[slot] <= 0 && right[slot] <= 0) {
                 if (p == 0) root = 0;
@@ -341,7 +338,6 @@ public class BalancedTree {
                     int[] side = left[p] == slot ? left : right;
                     side[p] = side[slot];      // fix parent's pointer
                 }
-                
             // fast path: it has no left child, so we replace it with its right child
             } else if (left[slot] <= 0) {
                 if (p == 0) root = right[slot];
-- 
1.7.10.4