directory-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From elecha...@apache.org
Subject svn commit: r874484 [34/45] - in /websites/production/directory/content/mavibot/gen-docs: ./ 1.0.0-M1/ 1.0.0-M1/apidocs/ 1.0.0-M1/apidocs/org/ 1.0.0-M1/apidocs/org/apache/ 1.0.0-M1/apidocs/org/apache/directory/ 1.0.0-M1/apidocs/org/apache/directory/mav...
Date Tue, 13 Aug 2013 15:42:17 GMT
Added: websites/production/directory/content/mavibot/gen-docs/1.0.0-M1/xref/org/apache/directory/mavibot/btree/Node.html
==============================================================================
--- websites/production/directory/content/mavibot/gen-docs/1.0.0-M1/xref/org/apache/directory/mavibot/btree/Node.html (added)
+++ websites/production/directory/content/mavibot/gen-docs/1.0.0-M1/xref/org/apache/directory/mavibot/btree/Node.html Tue Aug 13 15:42:13 2013
@@ -0,0 +1,1348 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en_US" lang="en_US">
+<head>
+<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
+<title>Node xref</title>
+<link type="text/css" rel="stylesheet" href="../../../../../stylesheet.css" />
+</head>
+<body>
+<div id="overview"><a href="../../../../../../apidocs/org/apache/directory/mavibot/btree/Node.html">View Javadoc</a></div><pre>
+
+<a class="jxr_linenumber" name="1" href="#1">1</a>   <em class="jxr_comment">/*</em>
+<a class="jxr_linenumber" name="2" href="#2">2</a>   <em class="jxr_comment"> *  Licensed to the Apache Software Foundation (ASF) under one</em>
+<a class="jxr_linenumber" name="3" href="#3">3</a>   <em class="jxr_comment"> *  or more contributor license agreements.  See the NOTICE file</em>
+<a class="jxr_linenumber" name="4" href="#4">4</a>   <em class="jxr_comment"> *  distributed with this work for additional information</em>
+<a class="jxr_linenumber" name="5" href="#5">5</a>   <em class="jxr_comment"> *  regarding copyright ownership.  The ASF licenses this file</em>
+<a class="jxr_linenumber" name="6" href="#6">6</a>   <em class="jxr_comment"> *  to you under the Apache License, Version 2.0 (the</em>
+<a class="jxr_linenumber" name="7" href="#7">7</a>   <em class="jxr_comment"> *  "License"); you may not use this file except in compliance</em>
+<a class="jxr_linenumber" name="8" href="#8">8</a>   <em class="jxr_comment"> *  with the License.  You may obtain a copy of the License at</em>
+<a class="jxr_linenumber" name="9" href="#9">9</a>   <em class="jxr_comment"> *</em>
+<a class="jxr_linenumber" name="10" href="#10">10</a>  <em class="jxr_comment"> *    <a href="http://www.apache.org/licenses/LICENSE-2.0" target="alexandria_uri">http://www.apache.org/licenses/LICENSE-2.0</a></em>
+<a class="jxr_linenumber" name="11" href="#11">11</a>  <em class="jxr_comment"> *</em>
+<a class="jxr_linenumber" name="12" href="#12">12</a>  <em class="jxr_comment"> *  Unless required by applicable law or agreed to in writing,</em>
+<a class="jxr_linenumber" name="13" href="#13">13</a>  <em class="jxr_comment"> *  software distributed under the License is distributed on an</em>
+<a class="jxr_linenumber" name="14" href="#14">14</a>  <em class="jxr_comment"> *  "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY</em>
+<a class="jxr_linenumber" name="15" href="#15">15</a>  <em class="jxr_comment"> *  KIND, either express or implied.  See the License for the</em>
+<a class="jxr_linenumber" name="16" href="#16">16</a>  <em class="jxr_comment"> *  specific language governing permissions and limitations</em>
+<a class="jxr_linenumber" name="17" href="#17">17</a>  <em class="jxr_comment"> *  under the License.</em>
+<a class="jxr_linenumber" name="18" href="#18">18</a>  <em class="jxr_comment"> *</em>
+<a class="jxr_linenumber" name="19" href="#19">19</a>  <em class="jxr_comment"> */</em>
+<a class="jxr_linenumber" name="20" href="#20">20</a>  <strong class="jxr_keyword">package</strong> org.apache.directory.mavibot.btree;
+<a class="jxr_linenumber" name="21" href="#21">21</a>  
+<a class="jxr_linenumber" name="22" href="#22">22</a>  
+<a class="jxr_linenumber" name="23" href="#23">23</a>  <strong class="jxr_keyword">import</strong> java.io.IOException;
+<a class="jxr_linenumber" name="24" href="#24">24</a>  <strong class="jxr_keyword">import</strong> java.lang.reflect.Array;
+<a class="jxr_linenumber" name="25" href="#25">25</a>  <strong class="jxr_keyword">import</strong> java.util.LinkedList;
+<a class="jxr_linenumber" name="26" href="#26">26</a>  <strong class="jxr_keyword">import</strong> java.util.List;
+<a class="jxr_linenumber" name="27" href="#27">27</a>  
+<a class="jxr_linenumber" name="28" href="#28">28</a>  <strong class="jxr_keyword">import</strong> org.apache.directory.mavibot.btree.exception.EndOfFileExceededException;
+<a class="jxr_linenumber" name="29" href="#29">29</a>  <strong class="jxr_keyword">import</strong> org.apache.directory.mavibot.btree.exception.KeyNotFoundException;
+<a class="jxr_linenumber" name="30" href="#30">30</a>  
+<a class="jxr_linenumber" name="31" href="#31">31</a>  
+<a class="jxr_linenumber" name="32" href="#32">32</a>  <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="33" href="#33">33</a>  <em class="jxr_javadoccomment"> * A MVCC Node. It stores the keys and references to its children page. It does not</em>
+<a class="jxr_linenumber" name="34" href="#34">34</a>  <em class="jxr_javadoccomment"> * contain any value.</em>
+<a class="jxr_linenumber" name="35" href="#35">35</a>  <em class="jxr_javadoccomment"> * </em>
+<a class="jxr_linenumber" name="36" href="#36">36</a>  <em class="jxr_javadoccomment"> * @param &lt;K&gt; The type for the Key</em>
+<a class="jxr_linenumber" name="37" href="#37">37</a>  <em class="jxr_javadoccomment"> * @param &lt;V&gt; The type for the stored value</em>
+<a class="jxr_linenumber" name="38" href="#38">38</a>  <em class="jxr_javadoccomment"> *</em>
+<a class="jxr_linenumber" name="39" href="#39">39</a>  <em class="jxr_javadoccomment"> * @author &lt;a href="<a href="mailto:labs@labs.apache.org" target="alexandria_uri">mailto:labs@labs.apache.org</a>"&gt;Mavibot labs Project&lt;/a&gt;</em>
+<a class="jxr_linenumber" name="40" href="#40">40</a>  <em class="jxr_javadoccomment"> */</em>
+<a class="jxr_linenumber" name="41" href="#41">41</a>  <em class="jxr_comment">/*<em class="jxr_comment"> No qualifier */</em><strong class="jxr_keyword">class</strong> Node&lt;K, V&gt; <strong class="jxr_keyword">extends</strong> AbstractPage&lt;K, V&gt;</em>
+<a class="jxr_linenumber" name="42" href="#42">42</a>  {
+<a class="jxr_linenumber" name="43" href="#43">43</a>      <em class="jxr_javadoccomment">/**</em><em class="jxr_javadoccomment"> Children pages associated with keys. */</em>
+<a class="jxr_linenumber" name="44" href="#44">44</a>      <strong class="jxr_keyword">protected</strong> ElementHolder&lt;Page&lt;K, V&gt;, K, V&gt;[] children;
+<a class="jxr_linenumber" name="45" href="#45">45</a>  
+<a class="jxr_linenumber" name="46" href="#46">46</a>  
+<a class="jxr_linenumber" name="47" href="#47">47</a>      <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="48" href="#48">48</a>  <em class="jxr_javadoccomment">     * Creates a new Node which will contain only one key, with references to</em>
+<a class="jxr_linenumber" name="49" href="#49">49</a>  <em class="jxr_javadoccomment">     * a left and right page. This is a specific constructor used by the btree</em>
+<a class="jxr_linenumber" name="50" href="#50">50</a>  <em class="jxr_javadoccomment">     * when the root was full when we added a new value.</em>
+<a class="jxr_linenumber" name="51" href="#51">51</a>  <em class="jxr_javadoccomment">     * </em>
+<a class="jxr_linenumber" name="52" href="#52">52</a>  <em class="jxr_javadoccomment">     * @param btree the parent BTree</em>
+<a class="jxr_linenumber" name="53" href="#53">53</a>  <em class="jxr_javadoccomment">     * @param revision the Node revision</em>
+<a class="jxr_linenumber" name="54" href="#54">54</a>  <em class="jxr_javadoccomment">     * @param nbElems The number of elements in this Node</em>
+<a class="jxr_linenumber" name="55" href="#55">55</a>  <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="56" href="#56">56</a>      @SuppressWarnings(<span class="jxr_string">"unchecked"</span>)
+<a class="jxr_linenumber" name="57" href="#57">57</a>      <em class="jxr_comment">/*<em class="jxr_comment"> No qualifier */</em><a href="../../../../../org/apache/directory/mavibot/btree/Node.html">Node</a>( BTree&lt;K, V&gt; btree, <strong class="jxr_keyword">long</strong> revision, <strong class="jxr_keyword">int</strong> nbElems )</em>
+<a class="jxr_linenumber" name="58" href="#58">58</a>      {
+<a class="jxr_linenumber" name="59" href="#59">59</a>          <strong class="jxr_keyword">super</strong>( btree, revision, nbElems );
+<a class="jxr_linenumber" name="60" href="#60">60</a>  
+<a class="jxr_linenumber" name="61" href="#61">61</a>          <em class="jxr_comment">// Create the children array</em>
+<a class="jxr_linenumber" name="62" href="#62">62</a>          children = ( ElementHolder&lt;Page&lt;K, V&gt;, K, V&gt;[] ) Array.newInstance( ElementHolder.<strong class="jxr_keyword">class</strong>, nbElems + 1 );
+<a class="jxr_linenumber" name="63" href="#63">63</a>      }
+<a class="jxr_linenumber" name="64" href="#64">64</a>  
+<a class="jxr_linenumber" name="65" href="#65">65</a>  
+<a class="jxr_linenumber" name="66" href="#66">66</a>      <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="67" href="#67">67</a>  <em class="jxr_javadoccomment">     * Creates a new Node which will contain only one key, with references to</em>
+<a class="jxr_linenumber" name="68" href="#68">68</a>  <em class="jxr_javadoccomment">     * a left and right page. This is a specific constructor used by the btree</em>
+<a class="jxr_linenumber" name="69" href="#69">69</a>  <em class="jxr_javadoccomment">     * when the root was full when we added a new value.</em>
+<a class="jxr_linenumber" name="70" href="#70">70</a>  <em class="jxr_javadoccomment">     * </em>
+<a class="jxr_linenumber" name="71" href="#71">71</a>  <em class="jxr_javadoccomment">     * @param btree the parent BTree</em>
+<a class="jxr_linenumber" name="72" href="#72">72</a>  <em class="jxr_javadoccomment">     * @param revision the Node revision</em>
+<a class="jxr_linenumber" name="73" href="#73">73</a>  <em class="jxr_javadoccomment">     * @param key The new key</em>
+<a class="jxr_linenumber" name="74" href="#74">74</a>  <em class="jxr_javadoccomment">     * @param leftPage The left page</em>
+<a class="jxr_linenumber" name="75" href="#75">75</a>  <em class="jxr_javadoccomment">     * @param rightPage The right page</em>
+<a class="jxr_linenumber" name="76" href="#76">76</a>  <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="77" href="#77">77</a>      @SuppressWarnings(<span class="jxr_string">"unchecked"</span>)
+<a class="jxr_linenumber" name="78" href="#78">78</a>      <em class="jxr_comment">/*<em class="jxr_comment"> No qualifier */</em><a href="../../../../../org/apache/directory/mavibot/btree/Node.html">Node</a>( BTree&lt;K, V&gt; btree, <strong class="jxr_keyword">long</strong> revision, K key, Page&lt;K, V&gt; leftPage, Page&lt;K, V&gt; rightPage )</em>
+<a class="jxr_linenumber" name="79" href="#79">79</a>      {
+<a class="jxr_linenumber" name="80" href="#80">80</a>          <strong class="jxr_keyword">super</strong>( btree, revision, 1 );
+<a class="jxr_linenumber" name="81" href="#81">81</a>  
+<a class="jxr_linenumber" name="82" href="#82">82</a>          <em class="jxr_comment">// Create the children array, and store the left and right children</em>
+<a class="jxr_linenumber" name="83" href="#83">83</a>          <strong class="jxr_keyword">if</strong> ( btree.isManaged() )
+<a class="jxr_linenumber" name="84" href="#84">84</a>          {
+<a class="jxr_linenumber" name="85" href="#85">85</a>              children = ( ReferenceHolder&lt;Page&lt;K, V&gt;, K, V&gt;[] ) Array.newInstance( ReferenceHolder.<strong class="jxr_keyword">class</strong>,
+<a class="jxr_linenumber" name="86" href="#86">86</a>                  btree.getPageSize() + 1 );
+<a class="jxr_linenumber" name="87" href="#87">87</a>          }
+<a class="jxr_linenumber" name="88" href="#88">88</a>          <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="89" href="#89">89</a>          {
+<a class="jxr_linenumber" name="90" href="#90">90</a>              children = ( MemoryHolder[] ) Array.newInstance( MemoryHolder.<strong class="jxr_keyword">class</strong>,
+<a class="jxr_linenumber" name="91" href="#91">91</a>                  btree.getPageSize() + 1 );
+<a class="jxr_linenumber" name="92" href="#92">92</a>          }
+<a class="jxr_linenumber" name="93" href="#93">93</a>  
+<a class="jxr_linenumber" name="94" href="#94">94</a>          children[0] = btree.createHolder( leftPage );
+<a class="jxr_linenumber" name="95" href="#95">95</a>          children[1] = btree.createHolder( rightPage );
+<a class="jxr_linenumber" name="96" href="#96">96</a>  
+<a class="jxr_linenumber" name="97" href="#97">97</a>          <em class="jxr_comment">// Create the keys array and store the pivot into it</em>
+<a class="jxr_linenumber" name="98" href="#98">98</a>          <em class="jxr_comment">// We get the type of array to create from the btree</em>
+<a class="jxr_linenumber" name="99" href="#99">99</a>          <em class="jxr_comment">// Yes, this is an hack...</em>
+<a class="jxr_linenumber" name="100" href="#100">100</a>         Class&lt;?&gt; keyType = btree.getKeyType();
+<a class="jxr_linenumber" name="101" href="#101">101</a>         keys = ( K[] ) Array.newInstance( keyType, btree.getPageSize() );
+<a class="jxr_linenumber" name="102" href="#102">102</a> 
+<a class="jxr_linenumber" name="103" href="#103">103</a>         keys[0] = key;
+<a class="jxr_linenumber" name="104" href="#104">104</a>     }
+<a class="jxr_linenumber" name="105" href="#105">105</a> 
+<a class="jxr_linenumber" name="106" href="#106">106</a> 
+<a class="jxr_linenumber" name="107" href="#107">107</a>     <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="108" href="#108">108</a> <em class="jxr_javadoccomment">     * Creates a new Node which will contain only one key, with references to</em>
+<a class="jxr_linenumber" name="109" href="#109">109</a> <em class="jxr_javadoccomment">     * a left and right page. This is a specific constructor used by the btree</em>
+<a class="jxr_linenumber" name="110" href="#110">110</a> <em class="jxr_javadoccomment">     * when the root was full when we added a new value.</em>
+<a class="jxr_linenumber" name="111" href="#111">111</a> <em class="jxr_javadoccomment">     * </em>
+<a class="jxr_linenumber" name="112" href="#112">112</a> <em class="jxr_javadoccomment">     * @param btree the parent BTree</em>
+<a class="jxr_linenumber" name="113" href="#113">113</a> <em class="jxr_javadoccomment">     * @param revision the Node revision</em>
+<a class="jxr_linenumber" name="114" href="#114">114</a> <em class="jxr_javadoccomment">     * @param key The new key</em>
+<a class="jxr_linenumber" name="115" href="#115">115</a> <em class="jxr_javadoccomment">     * @param leftPage The left page</em>
+<a class="jxr_linenumber" name="116" href="#116">116</a> <em class="jxr_javadoccomment">     * @param rightPage The right page</em>
+<a class="jxr_linenumber" name="117" href="#117">117</a> <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="118" href="#118">118</a>     @SuppressWarnings(<span class="jxr_string">"unchecked"</span>)
+<a class="jxr_linenumber" name="119" href="#119">119</a>     <em class="jxr_comment">/*<em class="jxr_comment"> No qualifier */</em><a href="../../../../../org/apache/directory/mavibot/btree/Node.html">Node</a>( BTree&lt;K, V&gt; btree, <strong class="jxr_keyword">long</strong> revision, K key, ElementHolder&lt;Page&lt;K, V&gt;, K, V&gt; leftPage,</em>
+<a class="jxr_linenumber" name="120" href="#120">120</a>         ElementHolder&lt;Page&lt;K, V&gt;, K, V&gt; rightPage )
+<a class="jxr_linenumber" name="121" href="#121">121</a>     {
+<a class="jxr_linenumber" name="122" href="#122">122</a>         <strong class="jxr_keyword">super</strong>( btree, revision, 1 );
+<a class="jxr_linenumber" name="123" href="#123">123</a> 
+<a class="jxr_linenumber" name="124" href="#124">124</a>         <em class="jxr_comment">// Create the children array, and store the left and right children</em>
+<a class="jxr_linenumber" name="125" href="#125">125</a>         children = ( ReferenceHolder&lt;Page&lt;K, V&gt;, K, V&gt;[] ) Array.newInstance( ReferenceHolder.<strong class="jxr_keyword">class</strong>,
+<a class="jxr_linenumber" name="126" href="#126">126</a>             btree.getPageSize() + 1 );
+<a class="jxr_linenumber" name="127" href="#127">127</a> 
+<a class="jxr_linenumber" name="128" href="#128">128</a>         children[0] = leftPage;
+<a class="jxr_linenumber" name="129" href="#129">129</a>         children[1] = rightPage;
+<a class="jxr_linenumber" name="130" href="#130">130</a> 
+<a class="jxr_linenumber" name="131" href="#131">131</a>         <em class="jxr_comment">// Create the keys array and store the pivot into it</em>
+<a class="jxr_linenumber" name="132" href="#132">132</a>         <em class="jxr_comment">// We get the type of array to create from the btree</em>
+<a class="jxr_linenumber" name="133" href="#133">133</a>         <em class="jxr_comment">// Yes, this is an hack...</em>
+<a class="jxr_linenumber" name="134" href="#134">134</a>         Class&lt;?&gt; keyType = btree.getKeyType();
+<a class="jxr_linenumber" name="135" href="#135">135</a>         keys = ( K[] ) Array.newInstance( keyType, btree.getPageSize() );
+<a class="jxr_linenumber" name="136" href="#136">136</a> 
+<a class="jxr_linenumber" name="137" href="#137">137</a>         keys[0] = key;
+<a class="jxr_linenumber" name="138" href="#138">138</a>     }
+<a class="jxr_linenumber" name="139" href="#139">139</a> 
+<a class="jxr_linenumber" name="140" href="#140">140</a> 
+<a class="jxr_linenumber" name="141" href="#141">141</a>     <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="142" href="#142">142</a> <em class="jxr_javadoccomment">     * {@inheritDoc}</em>
+<a class="jxr_linenumber" name="143" href="#143">143</a> <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="144" href="#144">144</a>     <strong class="jxr_keyword">public</strong> InsertResult&lt;K, V&gt; insert( <strong class="jxr_keyword">long</strong> revision, K key, V value ) <strong class="jxr_keyword">throws</strong> IOException
+<a class="jxr_linenumber" name="145" href="#145">145</a>     {
+<a class="jxr_linenumber" name="146" href="#146">146</a>         <em class="jxr_comment">// Find the key into this leaf</em>
+<a class="jxr_linenumber" name="147" href="#147">147</a>         <strong class="jxr_keyword">int</strong> pos = findPos( key );
+<a class="jxr_linenumber" name="148" href="#148">148</a> 
+<a class="jxr_linenumber" name="149" href="#149">149</a>         <strong class="jxr_keyword">if</strong> ( pos &lt; 0 )
+<a class="jxr_linenumber" name="150" href="#150">150</a>         {
+<a class="jxr_linenumber" name="151" href="#151">151</a>             <em class="jxr_comment">// The key has been found in the page. As it's a Node, that means</em>
+<a class="jxr_linenumber" name="152" href="#152">152</a>             <em class="jxr_comment">// we must go down in the right child to insert the value</em>
+<a class="jxr_linenumber" name="153" href="#153">153</a>             pos = -( pos++ );
+<a class="jxr_linenumber" name="154" href="#154">154</a>         }
+<a class="jxr_linenumber" name="155" href="#155">155</a> 
+<a class="jxr_linenumber" name="156" href="#156">156</a>         <em class="jxr_comment">// Get the child page into which we will insert the &lt;K, V&gt; tuple</em>
+<a class="jxr_linenumber" name="157" href="#157">157</a>         Page&lt;K, V&gt; child = children[pos].getValue( btree );
+<a class="jxr_linenumber" name="158" href="#158">158</a> 
+<a class="jxr_linenumber" name="159" href="#159">159</a>         <em class="jxr_comment">// and insert the &lt;K, V&gt; into this child</em>
+<a class="jxr_linenumber" name="160" href="#160">160</a>         InsertResult&lt;K, V&gt; result = child.insert( revision, key, value );
+<a class="jxr_linenumber" name="161" href="#161">161</a> 
+<a class="jxr_linenumber" name="162" href="#162">162</a>         <em class="jxr_comment">// Ok, now, we have injected the &lt;K, V&gt; tuple down the tree. Let's check</em>
+<a class="jxr_linenumber" name="163" href="#163">163</a>         <em class="jxr_comment">// the result to see if we have to split the current page</em>
+<a class="jxr_linenumber" name="164" href="#164">164</a>         <strong class="jxr_keyword">if</strong> ( result instanceof ModifyResult )
+<a class="jxr_linenumber" name="165" href="#165">165</a>         {
+<a class="jxr_linenumber" name="166" href="#166">166</a>             <em class="jxr_comment">// The child has been modified.</em>
+<a class="jxr_linenumber" name="167" href="#167">167</a>             <strong class="jxr_keyword">return</strong> replaceChild( revision, ( ModifyResult&lt;K, V&gt; ) result, pos );
+<a class="jxr_linenumber" name="168" href="#168">168</a>         }
+<a class="jxr_linenumber" name="169" href="#169">169</a>         <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="170" href="#170">170</a>         {
+<a class="jxr_linenumber" name="171" href="#171">171</a>             <em class="jxr_comment">// The child has been split. We have to insert the new pivot in the</em>
+<a class="jxr_linenumber" name="172" href="#172">172</a>             <em class="jxr_comment">// current page, and to reference the two new pages</em>
+<a class="jxr_linenumber" name="173" href="#173">173</a>             SplitResult&lt;K, V&gt; splitResult = ( SplitResult&lt;K, V&gt; ) result;
+<a class="jxr_linenumber" name="174" href="#174">174</a>             K pivot = splitResult.getPivot();
+<a class="jxr_linenumber" name="175" href="#175">175</a>             Page&lt;K, V&gt; leftPage = splitResult.getLeftPage();
+<a class="jxr_linenumber" name="176" href="#176">176</a>             Page&lt;K, V&gt; rightPage = splitResult.getRightPage();
+<a class="jxr_linenumber" name="177" href="#177">177</a> 
+<a class="jxr_linenumber" name="178" href="#178">178</a>             <em class="jxr_comment">// We have to deal with the two cases :</em>
+<a class="jxr_linenumber" name="179" href="#179">179</a>             <em class="jxr_comment">// - the current page is full, we have to split it</em>
+<a class="jxr_linenumber" name="180" href="#180">180</a>             <em class="jxr_comment">// - the current page is not full, we insert the new pivot</em>
+<a class="jxr_linenumber" name="181" href="#181">181</a>             <strong class="jxr_keyword">if</strong> ( nbElems == btree.getPageSize() )
+<a class="jxr_linenumber" name="182" href="#182">182</a>             {
+<a class="jxr_linenumber" name="183" href="#183">183</a>                 <em class="jxr_comment">// The page is full</em>
+<a class="jxr_linenumber" name="184" href="#184">184</a>                 result = addAndSplit( splitResult.getCopiedPages(), revision, pivot, leftPage, rightPage, pos );
+<a class="jxr_linenumber" name="185" href="#185">185</a>             }
+<a class="jxr_linenumber" name="186" href="#186">186</a>             <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="187" href="#187">187</a>             {
+<a class="jxr_linenumber" name="188" href="#188">188</a>                 <em class="jxr_comment">// The page can contain the new pivot, let's insert it</em>
+<a class="jxr_linenumber" name="189" href="#189">189</a>                 result = insertChild( splitResult.getCopiedPages(), revision, pivot, leftPage, rightPage, pos );
+<a class="jxr_linenumber" name="190" href="#190">190</a>             }
+<a class="jxr_linenumber" name="191" href="#191">191</a> 
+<a class="jxr_linenumber" name="192" href="#192">192</a>             <strong class="jxr_keyword">return</strong> result;
+<a class="jxr_linenumber" name="193" href="#193">193</a>         }
+<a class="jxr_linenumber" name="194" href="#194">194</a>     }
+<a class="jxr_linenumber" name="195" href="#195">195</a> 
+<a class="jxr_linenumber" name="196" href="#196">196</a> 
+<a class="jxr_linenumber" name="197" href="#197">197</a>     <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="198" href="#198">198</a> <em class="jxr_javadoccomment">     * Modifies the current node after a remove has been done in one of its children.</em>
+<a class="jxr_linenumber" name="199" href="#199">199</a> <em class="jxr_javadoccomment">     * The node won't be merged with another node.</em>
+<a class="jxr_linenumber" name="200" href="#200">200</a> <em class="jxr_javadoccomment">     * </em>
+<a class="jxr_linenumber" name="201" href="#201">201</a> <em class="jxr_javadoccomment">     * @param removeResult The result of a remove operation</em>
+<a class="jxr_linenumber" name="202" href="#202">202</a> <em class="jxr_javadoccomment">     * @param index the position of the key, not transformed</em>
+<a class="jxr_linenumber" name="203" href="#203">203</a> <em class="jxr_javadoccomment">     * @param pos The position of the key, as a positive value</em>
+<a class="jxr_linenumber" name="204" href="#204">204</a> <em class="jxr_javadoccomment">     * @param found If the key has been found in the page</em>
+<a class="jxr_linenumber" name="205" href="#205">205</a> <em class="jxr_javadoccomment">     * @return The new result</em>
+<a class="jxr_linenumber" name="206" href="#206">206</a> <em class="jxr_javadoccomment">     * @throws IOException If we have an error while trying to access the page</em>
+<a class="jxr_linenumber" name="207" href="#207">207</a> <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="208" href="#208">208</a>     <strong class="jxr_keyword">private</strong> RemoveResult&lt;K, V&gt; handleRemoveResult( RemoveResult&lt;K, V&gt; removeResult, <strong class="jxr_keyword">int</strong> index, <strong class="jxr_keyword">int</strong> pos, <strong class="jxr_keyword">boolean</strong> found )
+<a class="jxr_linenumber" name="209" href="#209">209</a>         <strong class="jxr_keyword">throws</strong> IOException
+<a class="jxr_linenumber" name="210" href="#210">210</a>     {
+<a class="jxr_linenumber" name="211" href="#211">211</a>         <em class="jxr_comment">// Simplest case : the element has been removed from the underlying page,</em>
+<a class="jxr_linenumber" name="212" href="#212">212</a>         <em class="jxr_comment">// we just have to copy the current page an modify the reference to link to</em>
+<a class="jxr_linenumber" name="213" href="#213">213</a>         <em class="jxr_comment">// the modified page.</em>
+<a class="jxr_linenumber" name="214" href="#214">214</a>         Node&lt;K, V&gt; newPage = copy( revision );
+<a class="jxr_linenumber" name="215" href="#215">215</a> 
+<a class="jxr_linenumber" name="216" href="#216">216</a>         Page&lt;K, V&gt; modifiedPage = removeResult.getModifiedPage();
+<a class="jxr_linenumber" name="217" href="#217">217</a> 
+<a class="jxr_linenumber" name="218" href="#218">218</a>         <strong class="jxr_keyword">if</strong> ( found )
+<a class="jxr_linenumber" name="219" href="#219">219</a>         {
+<a class="jxr_linenumber" name="220" href="#220">220</a>             newPage.children[index + 1] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="221" href="#221">221</a>         }
+<a class="jxr_linenumber" name="222" href="#222">222</a>         <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="223" href="#223">223</a>         {
+<a class="jxr_linenumber" name="224" href="#224">224</a>             newPage.children[index] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="225" href="#225">225</a>         }
+<a class="jxr_linenumber" name="226" href="#226">226</a> 
+<a class="jxr_linenumber" name="227" href="#227">227</a>         <strong class="jxr_keyword">if</strong> ( pos &lt; 0 )
+<a class="jxr_linenumber" name="228" href="#228">228</a>         {
+<a class="jxr_linenumber" name="229" href="#229">229</a>             newPage.keys[index] = removeResult.getModifiedPage().getLeftMostKey();
+<a class="jxr_linenumber" name="230" href="#230">230</a>         }
+<a class="jxr_linenumber" name="231" href="#231">231</a> 
+<a class="jxr_linenumber" name="232" href="#232">232</a>         <em class="jxr_comment">// Modify the result and return</em>
+<a class="jxr_linenumber" name="233" href="#233">233</a>         removeResult.setModifiedPage( newPage );
+<a class="jxr_linenumber" name="234" href="#234">234</a>         removeResult.addCopiedPage( <strong class="jxr_keyword">this</strong> );
+<a class="jxr_linenumber" name="235" href="#235">235</a> 
+<a class="jxr_linenumber" name="236" href="#236">236</a>         <strong class="jxr_keyword">return</strong> removeResult;
+<a class="jxr_linenumber" name="237" href="#237">237</a>     }
+<a class="jxr_linenumber" name="238" href="#238">238</a> 
+<a class="jxr_linenumber" name="239" href="#239">239</a> 
+<a class="jxr_linenumber" name="240" href="#240">240</a>     <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="241" href="#241">241</a> <em class="jxr_javadoccomment">     * Handles the removal of an element from the root page, when two of its children</em>
+<a class="jxr_linenumber" name="242" href="#242">242</a> <em class="jxr_javadoccomment">     * have been merged.</em>
+<a class="jxr_linenumber" name="243" href="#243">243</a> <em class="jxr_javadoccomment">     * </em>
+<a class="jxr_linenumber" name="244" href="#244">244</a> <em class="jxr_javadoccomment">     * @param mergedResult The merge result</em>
+<a class="jxr_linenumber" name="245" href="#245">245</a> <em class="jxr_javadoccomment">     * @param pos The position in the current root</em>
+<a class="jxr_linenumber" name="246" href="#246">246</a> <em class="jxr_javadoccomment">     * @param found Tells if the removed key is present in the root page</em>
+<a class="jxr_linenumber" name="247" href="#247">247</a> <em class="jxr_javadoccomment">     * @return The resulting root page</em>
+<a class="jxr_linenumber" name="248" href="#248">248</a> <em class="jxr_javadoccomment">     * @throws IOException If we have an error while trying to access the page</em>
+<a class="jxr_linenumber" name="249" href="#249">249</a> <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="250" href="#250">250</a>     <strong class="jxr_keyword">private</strong> RemoveResult&lt;K, V&gt; handleRootRemove( MergedWithSiblingResult&lt;K, V&gt; mergedResult, <strong class="jxr_keyword">int</strong> pos, <strong class="jxr_keyword">boolean</strong> found )
+<a class="jxr_linenumber" name="251" href="#251">251</a>         <strong class="jxr_keyword">throws</strong> IOException
+<a class="jxr_linenumber" name="252" href="#252">252</a>     {
+<a class="jxr_linenumber" name="253" href="#253">253</a>         RemoveResult&lt;K, V&gt; removeResult = <strong class="jxr_keyword">null</strong>;
+<a class="jxr_linenumber" name="254" href="#254">254</a> 
+<a class="jxr_linenumber" name="255" href="#255">255</a>         <em class="jxr_comment">// If the current node contains only one key, then the merged result will be</em>
+<a class="jxr_linenumber" name="256" href="#256">256</a>         <em class="jxr_comment">// the new root. Deal with this case</em>
+<a class="jxr_linenumber" name="257" href="#257">257</a>         <strong class="jxr_keyword">if</strong> ( nbElems == 1 )
+<a class="jxr_linenumber" name="258" href="#258">258</a>         {
+<a class="jxr_linenumber" name="259" href="#259">259</a>             removeResult = <strong class="jxr_keyword">new</strong> RemoveResult&lt;K, V&gt;( mergedResult.getCopiedPages(), mergedResult.getModifiedPage(),
+<a class="jxr_linenumber" name="260" href="#260">260</a>                 mergedResult.getRemovedElement() );
+<a class="jxr_linenumber" name="261" href="#261">261</a> 
+<a class="jxr_linenumber" name="262" href="#262">262</a>             removeResult.addCopiedPage( <strong class="jxr_keyword">this</strong> );
+<a class="jxr_linenumber" name="263" href="#263">263</a>         }
+<a class="jxr_linenumber" name="264" href="#264">264</a>         <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="265" href="#265">265</a>         {
+<a class="jxr_linenumber" name="266" href="#266">266</a>             <em class="jxr_comment">// Remove the element and update the reference to the changed pages</em>
+<a class="jxr_linenumber" name="267" href="#267">267</a>             removeResult = removeKey( mergedResult, revision, pos );
+<a class="jxr_linenumber" name="268" href="#268">268</a>         }
+<a class="jxr_linenumber" name="269" href="#269">269</a> 
+<a class="jxr_linenumber" name="270" href="#270">270</a>         <strong class="jxr_keyword">return</strong> removeResult;
+<a class="jxr_linenumber" name="271" href="#271">271</a>     }
+<a class="jxr_linenumber" name="272" href="#272">272</a> 
+<a class="jxr_linenumber" name="273" href="#273">273</a> 
+<a class="jxr_linenumber" name="274" href="#274">274</a>     <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="275" href="#275">275</a> <em class="jxr_javadoccomment">     * Borrows an element from the right sibling, creating a new sibling with one</em>
+<a class="jxr_linenumber" name="276" href="#276">276</a> <em class="jxr_javadoccomment">     * less element and creating a new page where the element to remove has been</em>
+<a class="jxr_linenumber" name="277" href="#277">277</a> <em class="jxr_javadoccomment">     * deleted and the borrowed element added on the right.</em>
+<a class="jxr_linenumber" name="278" href="#278">278</a> <em class="jxr_javadoccomment">     * </em>
+<a class="jxr_linenumber" name="279" href="#279">279</a> <em class="jxr_javadoccomment">     * @param revision The new revision for all the pages</em>
+<a class="jxr_linenumber" name="280" href="#280">280</a> <em class="jxr_javadoccomment">     * @param sibling The right sibling</em>
+<a class="jxr_linenumber" name="281" href="#281">281</a> <em class="jxr_javadoccomment">     * @param pos The position of the element to remove</em>
+<a class="jxr_linenumber" name="282" href="#282">282</a> <em class="jxr_javadoccomment">     * @return The resulting pages</em>
+<a class="jxr_linenumber" name="283" href="#283">283</a> <em class="jxr_javadoccomment">     * @throws IOException If we have an error while trying to access the page</em>
+<a class="jxr_linenumber" name="284" href="#284">284</a> <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="285" href="#285">285</a>     <strong class="jxr_keyword">private</strong> DeleteResult&lt;K, V&gt; borrowFromRight( <strong class="jxr_keyword">long</strong> revision, MergedWithSiblingResult&lt;K, V&gt; mergedResult,
+<a class="jxr_linenumber" name="286" href="#286">286</a>         Node&lt;K, V&gt; sibling, <strong class="jxr_keyword">int</strong> pos ) <strong class="jxr_keyword">throws</strong> IOException
+<a class="jxr_linenumber" name="287" href="#287">287</a>     {
+<a class="jxr_linenumber" name="288" href="#288">288</a>         <em class="jxr_comment">// Create the new sibling, with one less element at the beginning</em>
+<a class="jxr_linenumber" name="289" href="#289">289</a>         Node&lt;K, V&gt; newSibling = <strong class="jxr_keyword">new</strong> Node&lt;K, V&gt;( btree, revision, sibling.getNbElems() - 1 );
+<a class="jxr_linenumber" name="290" href="#290">290</a> 
+<a class="jxr_linenumber" name="291" href="#291">291</a>         K siblingKey = sibling.children[0].getValue( btree ).getLeftMostKey();
+<a class="jxr_linenumber" name="292" href="#292">292</a> 
+<a class="jxr_linenumber" name="293" href="#293">293</a>         <em class="jxr_comment">// Copy the keys and children of the old sibling in the new sibling</em>
+<a class="jxr_linenumber" name="294" href="#294">294</a>         System.arraycopy( sibling.keys, 1, newSibling.keys, 0, newSibling.getNbElems() );
+<a class="jxr_linenumber" name="295" href="#295">295</a>         System.arraycopy( sibling.children, 1, newSibling.children, 0, newSibling.getNbElems() + 1 );
+<a class="jxr_linenumber" name="296" href="#296">296</a> 
+<a class="jxr_linenumber" name="297" href="#297">297</a>         <em class="jxr_comment">// Create the new page and add the new element at the end</em>
+<a class="jxr_linenumber" name="298" href="#298">298</a>         <em class="jxr_comment">// First copy the current node, with the same size</em>
+<a class="jxr_linenumber" name="299" href="#299">299</a>         Node&lt;K, V&gt; newNode = <strong class="jxr_keyword">new</strong> Node&lt;K, V&gt;( btree, revision, nbElems );
+<a class="jxr_linenumber" name="300" href="#300">300</a> 
+<a class="jxr_linenumber" name="301" href="#301">301</a>         <em class="jxr_comment">// Copy the keys and the values up to the insertion position</em>
+<a class="jxr_linenumber" name="302" href="#302">302</a>         <strong class="jxr_keyword">int</strong> index = Math.abs( pos );
+<a class="jxr_linenumber" name="303" href="#303">303</a> 
+<a class="jxr_linenumber" name="304" href="#304">304</a>         <em class="jxr_comment">// Copy the key and children from sibling</em>
+<a class="jxr_linenumber" name="305" href="#305">305</a>         newNode.keys[nbElems - 1] = siblingKey; <em class="jxr_comment">// 1</em>
+<a class="jxr_linenumber" name="306" href="#306">306</a>         newNode.children[nbElems] = sibling.children[0]; <em class="jxr_comment">// 8</em>
+<a class="jxr_linenumber" name="307" href="#307">307</a> 
+<a class="jxr_linenumber" name="308" href="#308">308</a>         <strong class="jxr_keyword">if</strong> ( index &lt; 2 )
+<a class="jxr_linenumber" name="309" href="#309">309</a>         {
+<a class="jxr_linenumber" name="310" href="#310">310</a>             <em class="jxr_comment">// Copy the keys</em>
+<a class="jxr_linenumber" name="311" href="#311">311</a>             System.arraycopy( keys, 1, newNode.keys, 0, nbElems - 1 );
+<a class="jxr_linenumber" name="312" href="#312">312</a> 
+<a class="jxr_linenumber" name="313" href="#313">313</a>             <em class="jxr_comment">// Inject the modified page</em>
+<a class="jxr_linenumber" name="314" href="#314">314</a>             Page&lt;K, V&gt; modifiedPage = mergedResult.getModifiedPage();
+<a class="jxr_linenumber" name="315" href="#315">315</a>             newNode.children[0] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="316" href="#316">316</a> 
+<a class="jxr_linenumber" name="317" href="#317">317</a>             <em class="jxr_comment">// Copy the children</em>
+<a class="jxr_linenumber" name="318" href="#318">318</a>             System.arraycopy( children, 2, newNode.children, 1, nbElems - 1 );
+<a class="jxr_linenumber" name="319" href="#319">319</a>         }
+<a class="jxr_linenumber" name="320" href="#320">320</a>         <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="321" href="#321">321</a>         {
+<a class="jxr_linenumber" name="322" href="#322">322</a>             <strong class="jxr_keyword">if</strong> ( index &gt; 2 )
+<a class="jxr_linenumber" name="323" href="#323">323</a>             {
+<a class="jxr_linenumber" name="324" href="#324">324</a>                 <em class="jxr_comment">// Copy the keys before the deletion point</em>
+<a class="jxr_linenumber" name="325" href="#325">325</a>                 System.arraycopy( keys, 0, newNode.keys, 0, index - 2 ); <em class="jxr_comment">// 4</em>
+<a class="jxr_linenumber" name="326" href="#326">326</a>             }
+<a class="jxr_linenumber" name="327" href="#327">327</a> 
+<a class="jxr_linenumber" name="328" href="#328">328</a>             <em class="jxr_comment">// Inject the new modified page key</em>
+<a class="jxr_linenumber" name="329" href="#329">329</a>             newNode.keys[index - 2] = mergedResult.getModifiedPage().getLeftMostKey(); <em class="jxr_comment">// 2</em>
+<a class="jxr_linenumber" name="330" href="#330">330</a> 
+<a class="jxr_linenumber" name="331" href="#331">331</a>             <strong class="jxr_keyword">if</strong> ( index &lt; nbElems )
+<a class="jxr_linenumber" name="332" href="#332">332</a>             {
+<a class="jxr_linenumber" name="333" href="#333">333</a>                 <em class="jxr_comment">// Copy the remaining keys after the deletion point</em>
+<a class="jxr_linenumber" name="334" href="#334">334</a>                 System.arraycopy( keys, index, newNode.keys, index - 1, nbElems - index ); <em class="jxr_comment">// 3</em>
+<a class="jxr_linenumber" name="335" href="#335">335</a> 
+<a class="jxr_linenumber" name="336" href="#336">336</a>                 <em class="jxr_comment">// Copy the remaining children after the deletion point</em>
+<a class="jxr_linenumber" name="337" href="#337">337</a>                 System.arraycopy( children, index + 1, newNode.children, index, nbElems - index ); <em class="jxr_comment">// 7</em>
+<a class="jxr_linenumber" name="338" href="#338">338</a>             }
+<a class="jxr_linenumber" name="339" href="#339">339</a> 
+<a class="jxr_linenumber" name="340" href="#340">340</a>             <em class="jxr_comment">// Copy the children before the deletion point</em>
+<a class="jxr_linenumber" name="341" href="#341">341</a>             System.arraycopy( children, 0, newNode.children, 0, index - 1 ); <em class="jxr_comment">// 5</em>
+<a class="jxr_linenumber" name="342" href="#342">342</a> 
+<a class="jxr_linenumber" name="343" href="#343">343</a>             <em class="jxr_comment">// Inject the modified page</em>
+<a class="jxr_linenumber" name="344" href="#344">344</a>             Page&lt;K, V&gt; modifiedPage = mergedResult.getModifiedPage();
+<a class="jxr_linenumber" name="345" href="#345">345</a>             newNode.children[index - 1] = createHolder( modifiedPage ); <em class="jxr_comment">// 6</em>
+<a class="jxr_linenumber" name="346" href="#346">346</a>         }
+<a class="jxr_linenumber" name="347" href="#347">347</a> 
+<a class="jxr_linenumber" name="348" href="#348">348</a>         <em class="jxr_comment">// Create the result</em>
+<a class="jxr_linenumber" name="349" href="#349">349</a>         DeleteResult&lt;K, V&gt; result = <strong class="jxr_keyword">new</strong> BorrowedFromRightResult&lt;K, V&gt;( mergedResult.getCopiedPages(), newNode,
+<a class="jxr_linenumber" name="350" href="#350">350</a>             newSibling, mergedResult.getRemovedElement() );
+<a class="jxr_linenumber" name="351" href="#351">351</a> 
+<a class="jxr_linenumber" name="352" href="#352">352</a>         result.addCopiedPage( <strong class="jxr_keyword">this</strong> );
+<a class="jxr_linenumber" name="353" href="#353">353</a>         result.addCopiedPage( sibling );
+<a class="jxr_linenumber" name="354" href="#354">354</a> 
+<a class="jxr_linenumber" name="355" href="#355">355</a>         <strong class="jxr_keyword">return</strong> result;
+<a class="jxr_linenumber" name="356" href="#356">356</a>     }
+<a class="jxr_linenumber" name="357" href="#357">357</a> 
+<a class="jxr_linenumber" name="358" href="#358">358</a> 
+<a class="jxr_linenumber" name="359" href="#359">359</a>     <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="360" href="#360">360</a> <em class="jxr_javadoccomment">     * Borrows an element from the left sibling, creating a new sibling with one</em>
+<a class="jxr_linenumber" name="361" href="#361">361</a> <em class="jxr_javadoccomment">     * less element and creating a new page where the element to remove has been</em>
+<a class="jxr_linenumber" name="362" href="#362">362</a> <em class="jxr_javadoccomment">     * deleted and the borrowed element added on the left.</em>
+<a class="jxr_linenumber" name="363" href="#363">363</a> <em class="jxr_javadoccomment">     * </em>
+<a class="jxr_linenumber" name="364" href="#364">364</a> <em class="jxr_javadoccomment">     * @param revision The new revision for all the pages</em>
+<a class="jxr_linenumber" name="365" href="#365">365</a> <em class="jxr_javadoccomment">     * @param sibling The left sibling</em>
+<a class="jxr_linenumber" name="366" href="#366">366</a> <em class="jxr_javadoccomment">     * @param pos The position of the element to remove</em>
+<a class="jxr_linenumber" name="367" href="#367">367</a> <em class="jxr_javadoccomment">     * @return The resulting pages</em>
+<a class="jxr_linenumber" name="368" href="#368">368</a> <em class="jxr_javadoccomment">     * @throws IOException If we have an error while trying to access the page</em>
+<a class="jxr_linenumber" name="369" href="#369">369</a> <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="370" href="#370">370</a>     <strong class="jxr_keyword">private</strong> DeleteResult&lt;K, V&gt; borrowFromLeft( <strong class="jxr_keyword">long</strong> revision, MergedWithSiblingResult&lt;K, V&gt; mergedResult,
+<a class="jxr_linenumber" name="371" href="#371">371</a>         Node&lt;K, V&gt; sibling, <strong class="jxr_keyword">int</strong> pos ) <strong class="jxr_keyword">throws</strong> IOException
+<a class="jxr_linenumber" name="372" href="#372">372</a>     {
+<a class="jxr_linenumber" name="373" href="#373">373</a>         <em class="jxr_comment">// The sibling is on the left, borrow the rightmost element</em>
+<a class="jxr_linenumber" name="374" href="#374">374</a>         Page&lt;K, V&gt; siblingChild = sibling.children[sibling.nbElems].getValue( btree );
+<a class="jxr_linenumber" name="375" href="#375">375</a> 
+<a class="jxr_linenumber" name="376" href="#376">376</a>         <em class="jxr_comment">// Create the new sibling, with one less element at the end</em>
+<a class="jxr_linenumber" name="377" href="#377">377</a>         Node&lt;K, V&gt; newSibling = <strong class="jxr_keyword">new</strong> Node&lt;K, V&gt;( btree, revision, sibling.getNbElems() - 1 );
+<a class="jxr_linenumber" name="378" href="#378">378</a> 
+<a class="jxr_linenumber" name="379" href="#379">379</a>         <em class="jxr_comment">// Copy the keys and children of the old sibling in the new sibling</em>
+<a class="jxr_linenumber" name="380" href="#380">380</a>         System.arraycopy( sibling.keys, 0, newSibling.keys, 0, newSibling.getNbElems() );
+<a class="jxr_linenumber" name="381" href="#381">381</a>         System.arraycopy( sibling.children, 0, newSibling.children, 0, newSibling.getNbElems() + 1 );
+<a class="jxr_linenumber" name="382" href="#382">382</a> 
+<a class="jxr_linenumber" name="383" href="#383">383</a>         <em class="jxr_comment">// Create the new page and add the new element at the beginning</em>
+<a class="jxr_linenumber" name="384" href="#384">384</a>         <em class="jxr_comment">// First copy the current node, with the same size</em>
+<a class="jxr_linenumber" name="385" href="#385">385</a>         Node&lt;K, V&gt; newNode = <strong class="jxr_keyword">new</strong> Node&lt;K, V&gt;( btree, revision, nbElems );
+<a class="jxr_linenumber" name="386" href="#386">386</a> 
+<a class="jxr_linenumber" name="387" href="#387">387</a>         <em class="jxr_comment">// Sets the first children</em>
+<a class="jxr_linenumber" name="388" href="#388">388</a>         newNode.children[0] = createHolder( siblingChild ); <em class="jxr_comment">//1</em>
+<a class="jxr_linenumber" name="389" href="#389">389</a> 
+<a class="jxr_linenumber" name="390" href="#390">390</a>         <strong class="jxr_keyword">int</strong> index = Math.abs( pos );
+<a class="jxr_linenumber" name="391" href="#391">391</a> 
+<a class="jxr_linenumber" name="392" href="#392">392</a>         <strong class="jxr_keyword">if</strong> ( index &lt; 2 )
+<a class="jxr_linenumber" name="393" href="#393">393</a>         {
+<a class="jxr_linenumber" name="394" href="#394">394</a>             newNode.keys[0] = mergedResult.getModifiedPage().getLeftMostKey();
+<a class="jxr_linenumber" name="395" href="#395">395</a>             System.arraycopy( keys, 1, newNode.keys, 1, nbElems - 1 );
+<a class="jxr_linenumber" name="396" href="#396">396</a> 
+<a class="jxr_linenumber" name="397" href="#397">397</a>             Page&lt;K, V&gt; modifiedPage = mergedResult.getModifiedPage();
+<a class="jxr_linenumber" name="398" href="#398">398</a>             newNode.children[1] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="399" href="#399">399</a>             System.arraycopy( children, 2, newNode.children, 2, nbElems - 1 );
+<a class="jxr_linenumber" name="400" href="#400">400</a>         }
+<a class="jxr_linenumber" name="401" href="#401">401</a>         <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="402" href="#402">402</a>         {
+<a class="jxr_linenumber" name="403" href="#403">403</a>             <em class="jxr_comment">// Set the first key</em>
+<a class="jxr_linenumber" name="404" href="#404">404</a>             newNode.keys[0] = children[0].getValue( btree ).getLeftMostKey(); <em class="jxr_comment">//2</em>
+<a class="jxr_linenumber" name="405" href="#405">405</a> 
+<a class="jxr_linenumber" name="406" href="#406">406</a>             <strong class="jxr_keyword">if</strong> ( index &gt; 2 )
+<a class="jxr_linenumber" name="407" href="#407">407</a>             {
+<a class="jxr_linenumber" name="408" href="#408">408</a>                 <em class="jxr_comment">// Copy the keys before the deletion point</em>
+<a class="jxr_linenumber" name="409" href="#409">409</a>                 System.arraycopy( keys, 0, newNode.keys, 1, index - 2 ); <em class="jxr_comment">// 4</em>
+<a class="jxr_linenumber" name="410" href="#410">410</a>             }
+<a class="jxr_linenumber" name="411" href="#411">411</a> 
+<a class="jxr_linenumber" name="412" href="#412">412</a>             <em class="jxr_comment">// Inject the modified key</em>
+<a class="jxr_linenumber" name="413" href="#413">413</a>             newNode.keys[index - 1] = mergedResult.getModifiedPage().getLeftMostKey(); <em class="jxr_comment">// 3</em>
+<a class="jxr_linenumber" name="414" href="#414">414</a> 
+<a class="jxr_linenumber" name="415" href="#415">415</a>             <strong class="jxr_keyword">if</strong> ( index &lt; nbElems )
+<a class="jxr_linenumber" name="416" href="#416">416</a>             {
+<a class="jxr_linenumber" name="417" href="#417">417</a>                 <em class="jxr_comment">// Add copy the remaining keys after the deletion point</em>
+<a class="jxr_linenumber" name="418" href="#418">418</a>                 System.arraycopy( keys, index, newNode.keys, index, nbElems - index ); <em class="jxr_comment">// 5</em>
+<a class="jxr_linenumber" name="419" href="#419">419</a> 
+<a class="jxr_linenumber" name="420" href="#420">420</a>                 <em class="jxr_comment">// Copy the remaining children after the insertion point</em>
+<a class="jxr_linenumber" name="421" href="#421">421</a>                 System.arraycopy( children, index + 1, newNode.children, index + 1, nbElems - index ); <em class="jxr_comment">// 8</em>
+<a class="jxr_linenumber" name="422" href="#422">422</a>             }
+<a class="jxr_linenumber" name="423" href="#423">423</a> 
+<a class="jxr_linenumber" name="424" href="#424">424</a>             <em class="jxr_comment">// Copy the children before the insertion point</em>
+<a class="jxr_linenumber" name="425" href="#425">425</a>             System.arraycopy( children, 0, newNode.children, 1, index - 1 ); <em class="jxr_comment">// 6</em>
+<a class="jxr_linenumber" name="426" href="#426">426</a> 
+<a class="jxr_linenumber" name="427" href="#427">427</a>             <em class="jxr_comment">// Insert the modified page</em>
+<a class="jxr_linenumber" name="428" href="#428">428</a>             Page&lt;K, V&gt; modifiedPage = mergedResult.getModifiedPage();
+<a class="jxr_linenumber" name="429" href="#429">429</a>             newNode.children[index] = createHolder( modifiedPage ); <em class="jxr_comment">// 7</em>
+<a class="jxr_linenumber" name="430" href="#430">430</a>         }
+<a class="jxr_linenumber" name="431" href="#431">431</a> 
+<a class="jxr_linenumber" name="432" href="#432">432</a>         <em class="jxr_comment">// Create the result</em>
+<a class="jxr_linenumber" name="433" href="#433">433</a>         DeleteResult&lt;K, V&gt; result = <strong class="jxr_keyword">new</strong> BorrowedFromLeftResult&lt;K, V&gt;( mergedResult.getCopiedPages(), newNode,
+<a class="jxr_linenumber" name="434" href="#434">434</a>             newSibling,
+<a class="jxr_linenumber" name="435" href="#435">435</a>             mergedResult.getRemovedElement() );
+<a class="jxr_linenumber" name="436" href="#436">436</a> 
+<a class="jxr_linenumber" name="437" href="#437">437</a>         result.addCopiedPage( <strong class="jxr_keyword">this</strong> );
+<a class="jxr_linenumber" name="438" href="#438">438</a>         result.addCopiedPage( sibling );
+<a class="jxr_linenumber" name="439" href="#439">439</a> 
+<a class="jxr_linenumber" name="440" href="#440">440</a>         <strong class="jxr_keyword">return</strong> result;
+<a class="jxr_linenumber" name="441" href="#441">441</a>     }
+<a class="jxr_linenumber" name="442" href="#442">442</a> 
+<a class="jxr_linenumber" name="443" href="#443">443</a> 
+<a class="jxr_linenumber" name="444" href="#444">444</a>     <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="445" href="#445">445</a> <em class="jxr_javadoccomment">     * We have to merge the node with its sibling, both have N/2 elements before the element</em>
+<a class="jxr_linenumber" name="446" href="#446">446</a> <em class="jxr_javadoccomment">     * removal.</em>
+<a class="jxr_linenumber" name="447" href="#447">447</a> <em class="jxr_javadoccomment">     * </em>
+<a class="jxr_linenumber" name="448" href="#448">448</a> <em class="jxr_javadoccomment">     * @param revision The revision</em>
+<a class="jxr_linenumber" name="449" href="#449">449</a> <em class="jxr_javadoccomment">     * @param mergedResult The result of the merge</em>
+<a class="jxr_linenumber" name="450" href="#450">450</a> <em class="jxr_javadoccomment">     * @param sibling The Page we will merge the current page with</em>
+<a class="jxr_linenumber" name="451" href="#451">451</a> <em class="jxr_javadoccomment">     * @param isLeft Tells if the sibling is on the left</em>
+<a class="jxr_linenumber" name="452" href="#452">452</a> <em class="jxr_javadoccomment">     * @param pos The position of the key that has been removed</em>
+<a class="jxr_linenumber" name="453" href="#453">453</a> <em class="jxr_javadoccomment">     * @return The page resulting of the merge</em>
+<a class="jxr_linenumber" name="454" href="#454">454</a> <em class="jxr_javadoccomment">     * @throws IOException If we have an error while trying to access the page</em>
+<a class="jxr_linenumber" name="455" href="#455">455</a> <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="456" href="#456">456</a>     <strong class="jxr_keyword">private</strong> DeleteResult&lt;K, V&gt; mergeWithSibling( <strong class="jxr_keyword">long</strong> revision, MergedWithSiblingResult&lt;K, V&gt; mergedResult,
+<a class="jxr_linenumber" name="457" href="#457">457</a>         Node&lt;K, V&gt; sibling, <strong class="jxr_keyword">boolean</strong> isLeft, <strong class="jxr_keyword">int</strong> pos ) <strong class="jxr_keyword">throws</strong> IOException
+<a class="jxr_linenumber" name="458" href="#458">458</a>     {
+<a class="jxr_linenumber" name="459" href="#459">459</a>         <em class="jxr_comment">// Create the new node. It will contain N - 1 elements (the maximum number)</em>
+<a class="jxr_linenumber" name="460" href="#460">460</a>         <em class="jxr_comment">// as we merge two nodes that contain N/2 elements minus the one we remove</em>
+<a class="jxr_linenumber" name="461" href="#461">461</a>         Node&lt;K, V&gt; newNode = <strong class="jxr_keyword">new</strong> Node&lt;K, V&gt;( btree, revision, btree.getPageSize() );
+<a class="jxr_linenumber" name="462" href="#462">462</a>         Tuple&lt;K, V&gt; removedElement = mergedResult.getRemovedElement();
+<a class="jxr_linenumber" name="463" href="#463">463</a>         <strong class="jxr_keyword">int</strong> half = btree.getPageSize() / 2;
+<a class="jxr_linenumber" name="464" href="#464">464</a>         <strong class="jxr_keyword">int</strong> index = Math.abs( pos );
+<a class="jxr_linenumber" name="465" href="#465">465</a> 
+<a class="jxr_linenumber" name="466" href="#466">466</a>         <strong class="jxr_keyword">if</strong> ( isLeft )
+<a class="jxr_linenumber" name="467" href="#467">467</a>         {
+<a class="jxr_linenumber" name="468" href="#468">468</a>             <em class="jxr_comment">// The sibling is on the left. Copy all of its elements in the new node first</em>
+<a class="jxr_linenumber" name="469" href="#469">469</a>             System.arraycopy( sibling.keys, 0, newNode.keys, 0, half ); <em class="jxr_comment">//1</em>
+<a class="jxr_linenumber" name="470" href="#470">470</a>             System.arraycopy( sibling.children, 0, newNode.children, 0, half + 1 ); <em class="jxr_comment">//2</em>
+<a class="jxr_linenumber" name="471" href="#471">471</a> 
+<a class="jxr_linenumber" name="472" href="#472">472</a>             <em class="jxr_comment">// Then copy all the elements up to the deletion point</em>
+<a class="jxr_linenumber" name="473" href="#473">473</a>             <strong class="jxr_keyword">if</strong> ( index &lt; 2 )
+<a class="jxr_linenumber" name="474" href="#474">474</a>             {
+<a class="jxr_linenumber" name="475" href="#475">475</a>                 newNode.keys[half] = mergedResult.getModifiedPage().getLeftMostKey();
+<a class="jxr_linenumber" name="476" href="#476">476</a>                 System.arraycopy( keys, 1, newNode.keys, half + 1, half - 1 );
+<a class="jxr_linenumber" name="477" href="#477">477</a> 
+<a class="jxr_linenumber" name="478" href="#478">478</a>                 Page&lt;K, V&gt; modifiedPage = mergedResult.getModifiedPage();
+<a class="jxr_linenumber" name="479" href="#479">479</a>                 newNode.children[half + 1] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="480" href="#480">480</a>                 System.arraycopy( children, 2, newNode.children, half + 2, half - 1 );
+<a class="jxr_linenumber" name="481" href="#481">481</a>             }
+<a class="jxr_linenumber" name="482" href="#482">482</a>             <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="483" href="#483">483</a>             {
+<a class="jxr_linenumber" name="484" href="#484">484</a>                 <em class="jxr_comment">// Copy the left part of the node keys up to the deletion point</em>
+<a class="jxr_linenumber" name="485" href="#485">485</a>                 <em class="jxr_comment">// Insert the new key</em>
+<a class="jxr_linenumber" name="486" href="#486">486</a>                 newNode.keys[half] = children[0].getValue( btree ).getLeftMostKey(); <em class="jxr_comment">// 3</em>
+<a class="jxr_linenumber" name="487" href="#487">487</a> 
+<a class="jxr_linenumber" name="488" href="#488">488</a>                 <strong class="jxr_keyword">if</strong> ( index &gt; 2 )
+<a class="jxr_linenumber" name="489" href="#489">489</a>                 {
+<a class="jxr_linenumber" name="490" href="#490">490</a>                     System.arraycopy( keys, 0, newNode.keys, half + 1, index - 2 ); <em class="jxr_comment">//4</em>
+<a class="jxr_linenumber" name="491" href="#491">491</a>                 }
+<a class="jxr_linenumber" name="492" href="#492">492</a> 
+<a class="jxr_linenumber" name="493" href="#493">493</a>                 <em class="jxr_comment">// Inject the new merged key</em>
+<a class="jxr_linenumber" name="494" href="#494">494</a>                 newNode.keys[half + index - 1] = mergedResult.getModifiedPage().getLeftMostKey(); <em class="jxr_comment">//5</em>
+<a class="jxr_linenumber" name="495" href="#495">495</a> 
+<a class="jxr_linenumber" name="496" href="#496">496</a>                 <strong class="jxr_keyword">if</strong> ( index &lt; half )
+<a class="jxr_linenumber" name="497" href="#497">497</a>                 {
+<a class="jxr_linenumber" name="498" href="#498">498</a>                     System.arraycopy( keys, index, newNode.keys, half + index, half - index ); <em class="jxr_comment">//6</em>
+<a class="jxr_linenumber" name="499" href="#499">499</a>                     System.arraycopy( children, index + 1, newNode.children, half + index + 1, half - index ); <em class="jxr_comment">//9</em>
+<a class="jxr_linenumber" name="500" href="#500">500</a>                 }
+<a class="jxr_linenumber" name="501" href="#501">501</a> 
+<a class="jxr_linenumber" name="502" href="#502">502</a>                 <em class="jxr_comment">// Copy the children before the deletion point</em>
+<a class="jxr_linenumber" name="503" href="#503">503</a>                 System.arraycopy( children, 0, newNode.children, half + 1, index - 1 ); <em class="jxr_comment">// 7</em>
+<a class="jxr_linenumber" name="504" href="#504">504</a> 
+<a class="jxr_linenumber" name="505" href="#505">505</a>                 <em class="jxr_comment">// Inject the new merged child</em>
+<a class="jxr_linenumber" name="506" href="#506">506</a>                 Page&lt;K, V&gt; modifiedPage = mergedResult.getModifiedPage();
+<a class="jxr_linenumber" name="507" href="#507">507</a>                 newNode.children[half + index] = createHolder( modifiedPage ); <em class="jxr_comment">//8</em>
+<a class="jxr_linenumber" name="508" href="#508">508</a>             }
+<a class="jxr_linenumber" name="509" href="#509">509</a>         }
+<a class="jxr_linenumber" name="510" href="#510">510</a>         <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="511" href="#511">511</a>         {
+<a class="jxr_linenumber" name="512" href="#512">512</a>             <em class="jxr_comment">// The sibling is on the right.</em>
+<a class="jxr_linenumber" name="513" href="#513">513</a>             <strong class="jxr_keyword">if</strong> ( index &lt; 2 )
+<a class="jxr_linenumber" name="514" href="#514">514</a>             {
+<a class="jxr_linenumber" name="515" href="#515">515</a>                 <em class="jxr_comment">// Copy the keys</em>
+<a class="jxr_linenumber" name="516" href="#516">516</a>                 System.arraycopy( keys, 1, newNode.keys, 0, half - 1 );
+<a class="jxr_linenumber" name="517" href="#517">517</a> 
+<a class="jxr_linenumber" name="518" href="#518">518</a>                 <em class="jxr_comment">// Insert the first child</em>
+<a class="jxr_linenumber" name="519" href="#519">519</a>                 Page&lt;K, V&gt; modifiedPage = mergedResult.getModifiedPage();
+<a class="jxr_linenumber" name="520" href="#520">520</a>                 newNode.children[0] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="521" href="#521">521</a> 
+<a class="jxr_linenumber" name="522" href="#522">522</a>                 <em class="jxr_comment">// Copy the node children</em>
+<a class="jxr_linenumber" name="523" href="#523">523</a>                 System.arraycopy( children, 2, newNode.children, 1, half - 1 );
+<a class="jxr_linenumber" name="524" href="#524">524</a>             }
+<a class="jxr_linenumber" name="525" href="#525">525</a>             <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="526" href="#526">526</a>             {
+<a class="jxr_linenumber" name="527" href="#527">527</a>                 <em class="jxr_comment">// Copy the keys and children before the deletion point</em>
+<a class="jxr_linenumber" name="528" href="#528">528</a>                 <strong class="jxr_keyword">if</strong> ( index &gt; 2 )
+<a class="jxr_linenumber" name="529" href="#529">529</a>                 {
+<a class="jxr_linenumber" name="530" href="#530">530</a>                     <em class="jxr_comment">// Copy the first keys</em>
+<a class="jxr_linenumber" name="531" href="#531">531</a>                     System.arraycopy( keys, 0, newNode.keys, 0, index - 2 ); <em class="jxr_comment">//1</em>
+<a class="jxr_linenumber" name="532" href="#532">532</a>                 }
+<a class="jxr_linenumber" name="533" href="#533">533</a> 
+<a class="jxr_linenumber" name="534" href="#534">534</a>                 <em class="jxr_comment">// Copy the first children</em>
+<a class="jxr_linenumber" name="535" href="#535">535</a>                 System.arraycopy( children, 0, newNode.children, 0, index - 1 ); <em class="jxr_comment">//6</em>
+<a class="jxr_linenumber" name="536" href="#536">536</a> 
+<a class="jxr_linenumber" name="537" href="#537">537</a>                 <em class="jxr_comment">// Inject the modified key</em>
+<a class="jxr_linenumber" name="538" href="#538">538</a>                 newNode.keys[index - 2] = mergedResult.getModifiedPage().getLeftMostKey(); <em class="jxr_comment">//2</em>
+<a class="jxr_linenumber" name="539" href="#539">539</a> 
+<a class="jxr_linenumber" name="540" href="#540">540</a>                 <em class="jxr_comment">// Inject the modified children</em>
+<a class="jxr_linenumber" name="541" href="#541">541</a>                 Page&lt;K, V&gt; modifiedPage = mergedResult.getModifiedPage();
+<a class="jxr_linenumber" name="542" href="#542">542</a>                 newNode.children[index - 1] = createHolder( modifiedPage ); <em class="jxr_comment">// 7</em>
+<a class="jxr_linenumber" name="543" href="#543">543</a> 
+<a class="jxr_linenumber" name="544" href="#544">544</a>                 <em class="jxr_comment">// Add the remaining node's key if needed</em>
+<a class="jxr_linenumber" name="545" href="#545">545</a>                 <strong class="jxr_keyword">if</strong> ( index &lt; half )
+<a class="jxr_linenumber" name="546" href="#546">546</a>                 {
+<a class="jxr_linenumber" name="547" href="#547">547</a>                     System.arraycopy( keys, index, newNode.keys, index - 1, half - index ); <em class="jxr_comment">//5</em>
+<a class="jxr_linenumber" name="548" href="#548">548</a> 
+<a class="jxr_linenumber" name="549" href="#549">549</a>                     <em class="jxr_comment">// Add the remining children if below half</em>
+<a class="jxr_linenumber" name="550" href="#550">550</a>                     System.arraycopy( children, index + 1, newNode.children, index, half - index ); <em class="jxr_comment">// 8</em>
+<a class="jxr_linenumber" name="551" href="#551">551</a>                 }
+<a class="jxr_linenumber" name="552" href="#552">552</a>             }
+<a class="jxr_linenumber" name="553" href="#553">553</a> 
+<a class="jxr_linenumber" name="554" href="#554">554</a>             <em class="jxr_comment">// Inject the new key from sibling</em>
+<a class="jxr_linenumber" name="555" href="#555">555</a>             newNode.keys[half - 1] = sibling.findLeftMost().getKey(); <em class="jxr_comment">//3</em>
+<a class="jxr_linenumber" name="556" href="#556">556</a> 
+<a class="jxr_linenumber" name="557" href="#557">557</a>             <em class="jxr_comment">// Copy the sibling keys</em>
+<a class="jxr_linenumber" name="558" href="#558">558</a>             System.arraycopy( sibling.keys, 0, newNode.keys, half, half );
+<a class="jxr_linenumber" name="559" href="#559">559</a> 
+<a class="jxr_linenumber" name="560" href="#560">560</a>             <em class="jxr_comment">// Add the sibling children</em>
+<a class="jxr_linenumber" name="561" href="#561">561</a>             System.arraycopy( sibling.children, 0, newNode.children, half, half + 1 ); <em class="jxr_comment">// 9</em>
+<a class="jxr_linenumber" name="562" href="#562">562</a>         }
+<a class="jxr_linenumber" name="563" href="#563">563</a> 
+<a class="jxr_linenumber" name="564" href="#564">564</a>         <em class="jxr_comment">// And create the result</em>
+<a class="jxr_linenumber" name="565" href="#565">565</a>         DeleteResult&lt;K, V&gt; result = <strong class="jxr_keyword">new</strong> MergedWithSiblingResult&lt;K, V&gt;( mergedResult.getCopiedPages(), newNode,
+<a class="jxr_linenumber" name="566" href="#566">566</a>             removedElement );
+<a class="jxr_linenumber" name="567" href="#567">567</a> 
+<a class="jxr_linenumber" name="568" href="#568">568</a>         result.addCopiedPage( <strong class="jxr_keyword">this</strong> );
+<a class="jxr_linenumber" name="569" href="#569">569</a>         result.addCopiedPage( sibling );
+<a class="jxr_linenumber" name="570" href="#570">570</a> 
+<a class="jxr_linenumber" name="571" href="#571">571</a>         <strong class="jxr_keyword">return</strong> result;
+<a class="jxr_linenumber" name="572" href="#572">572</a>     }
+<a class="jxr_linenumber" name="573" href="#573">573</a> 
+<a class="jxr_linenumber" name="574" href="#574">574</a> 
+<a class="jxr_linenumber" name="575" href="#575">575</a>     <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="576" href="#576">576</a> <em class="jxr_javadoccomment">     * {@inheritDoc}</em>
+<a class="jxr_linenumber" name="577" href="#577">577</a> <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="578" href="#578">578</a>     <strong class="jxr_keyword">public</strong> DeleteResult&lt;K, V&gt; delete( <strong class="jxr_keyword">long</strong> revision, K key, V value, Page&lt;K, V&gt; parent, <strong class="jxr_keyword">int</strong> parentPos )
+<a class="jxr_linenumber" name="579" href="#579">579</a>         <strong class="jxr_keyword">throws</strong> IOException
+<a class="jxr_linenumber" name="580" href="#580">580</a>     {
+<a class="jxr_linenumber" name="581" href="#581">581</a>         <em class="jxr_comment">// We first try to delete the element from the child it belongs to</em>
+<a class="jxr_linenumber" name="582" href="#582">582</a>         <em class="jxr_comment">// Find the key in the page</em>
+<a class="jxr_linenumber" name="583" href="#583">583</a>         <strong class="jxr_keyword">int</strong> pos = findPos( key );
+<a class="jxr_linenumber" name="584" href="#584">584</a>         <strong class="jxr_keyword">boolean</strong> found = pos &lt; 0;
+<a class="jxr_linenumber" name="585" href="#585">585</a>         <strong class="jxr_keyword">int</strong> index = pos;
+<a class="jxr_linenumber" name="586" href="#586">586</a>         Page&lt;K, V&gt; child = <strong class="jxr_keyword">null</strong>;
+<a class="jxr_linenumber" name="587" href="#587">587</a>         DeleteResult&lt;K, V&gt; deleteResult = <strong class="jxr_keyword">null</strong>;
+<a class="jxr_linenumber" name="588" href="#588">588</a> 
+<a class="jxr_linenumber" name="589" href="#589">589</a>         <strong class="jxr_keyword">if</strong> ( found )
+<a class="jxr_linenumber" name="590" href="#590">590</a>         {
+<a class="jxr_linenumber" name="591" href="#591">591</a>             index = -( pos + 1 );
+<a class="jxr_linenumber" name="592" href="#592">592</a>             child = children[-pos].getValue( btree );
+<a class="jxr_linenumber" name="593" href="#593">593</a>             deleteResult = child.delete( revision, key, value, <strong class="jxr_keyword">this</strong>, -pos );
+<a class="jxr_linenumber" name="594" href="#594">594</a>         }
+<a class="jxr_linenumber" name="595" href="#595">595</a>         <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="596" href="#596">596</a>         {
+<a class="jxr_linenumber" name="597" href="#597">597</a>             child = children[pos].getValue( btree );
+<a class="jxr_linenumber" name="598" href="#598">598</a>             deleteResult = child.delete( revision, key, value, <strong class="jxr_keyword">this</strong>, pos );
+<a class="jxr_linenumber" name="599" href="#599">599</a>         }
+<a class="jxr_linenumber" name="600" href="#600">600</a> 
+<a class="jxr_linenumber" name="601" href="#601">601</a>         <em class="jxr_comment">// If the key is not present in the tree, we simply return</em>
+<a class="jxr_linenumber" name="602" href="#602">602</a>         <strong class="jxr_keyword">if</strong> ( deleteResult instanceof NotPresentResult )
+<a class="jxr_linenumber" name="603" href="#603">603</a>         {
+<a class="jxr_linenumber" name="604" href="#604">604</a>             <em class="jxr_comment">// Nothing to do...</em>
+<a class="jxr_linenumber" name="605" href="#605">605</a>             <strong class="jxr_keyword">return</strong> deleteResult;
+<a class="jxr_linenumber" name="606" href="#606">606</a>         }
+<a class="jxr_linenumber" name="607" href="#607">607</a> 
+<a class="jxr_linenumber" name="608" href="#608">608</a>         <em class="jxr_comment">// If we just modified the child, return a modified page</em>
+<a class="jxr_linenumber" name="609" href="#609">609</a>         <strong class="jxr_keyword">if</strong> ( deleteResult instanceof RemoveResult )
+<a class="jxr_linenumber" name="610" href="#610">610</a>         {
+<a class="jxr_linenumber" name="611" href="#611">611</a>             RemoveResult&lt;K, V&gt; removeResult = handleRemoveResult( ( RemoveResult&lt;K, V&gt; ) deleteResult, index, pos,
+<a class="jxr_linenumber" name="612" href="#612">612</a>                 found );
+<a class="jxr_linenumber" name="613" href="#613">613</a> 
+<a class="jxr_linenumber" name="614" href="#614">614</a>             <strong class="jxr_keyword">return</strong> removeResult;
+<a class="jxr_linenumber" name="615" href="#615">615</a>         }
+<a class="jxr_linenumber" name="616" href="#616">616</a> 
+<a class="jxr_linenumber" name="617" href="#617">617</a>         <em class="jxr_comment">// If we had to borrow an element in the child, then have to update</em>
+<a class="jxr_linenumber" name="618" href="#618">618</a>         <em class="jxr_comment">// the current page</em>
+<a class="jxr_linenumber" name="619" href="#619">619</a>         <strong class="jxr_keyword">if</strong> ( deleteResult instanceof BorrowedFromSiblingResult )
+<a class="jxr_linenumber" name="620" href="#620">620</a>         {
+<a class="jxr_linenumber" name="621" href="#621">621</a>             RemoveResult&lt;K, V&gt; removeResult = handleBorrowedResult( ( BorrowedFromSiblingResult&lt;K, V&gt; ) deleteResult,
+<a class="jxr_linenumber" name="622" href="#622">622</a>                 pos );
+<a class="jxr_linenumber" name="623" href="#623">623</a> 
+<a class="jxr_linenumber" name="624" href="#624">624</a>             <strong class="jxr_keyword">return</strong> removeResult;
+<a class="jxr_linenumber" name="625" href="#625">625</a>         }
+<a class="jxr_linenumber" name="626" href="#626">626</a> 
+<a class="jxr_linenumber" name="627" href="#627">627</a>         <em class="jxr_comment">// Last, not least, we have merged two child pages. We now have to remove</em>
+<a class="jxr_linenumber" name="628" href="#628">628</a>         <em class="jxr_comment">// an element from the local page, and to deal with the result.</em>
+<a class="jxr_linenumber" name="629" href="#629">629</a>         <strong class="jxr_keyword">if</strong> ( deleteResult instanceof MergedWithSiblingResult )
+<a class="jxr_linenumber" name="630" href="#630">630</a>         {
+<a class="jxr_linenumber" name="631" href="#631">631</a>             MergedWithSiblingResult&lt;K, V&gt; mergedResult = ( MergedWithSiblingResult&lt;K, V&gt; ) deleteResult;
+<a class="jxr_linenumber" name="632" href="#632">632</a> 
+<a class="jxr_linenumber" name="633" href="#633">633</a>             <em class="jxr_comment">// If the parent is null, then this page is the root page.</em>
+<a class="jxr_linenumber" name="634" href="#634">634</a>             <strong class="jxr_keyword">if</strong> ( parent == <strong class="jxr_keyword">null</strong> )
+<a class="jxr_linenumber" name="635" href="#635">635</a>             {
+<a class="jxr_linenumber" name="636" href="#636">636</a>                 RemoveResult&lt;K, V&gt; result = handleRootRemove( mergedResult, pos, found );
+<a class="jxr_linenumber" name="637" href="#637">637</a> 
+<a class="jxr_linenumber" name="638" href="#638">638</a>                 <strong class="jxr_keyword">return</strong> result;
+<a class="jxr_linenumber" name="639" href="#639">639</a>             }
+<a class="jxr_linenumber" name="640" href="#640">640</a> 
+<a class="jxr_linenumber" name="641" href="#641">641</a>             <em class="jxr_comment">// We have some parent. Check if the current page is not half full</em>
+<a class="jxr_linenumber" name="642" href="#642">642</a>             <strong class="jxr_keyword">int</strong> halfSize = btree.getPageSize() / 2;
+<a class="jxr_linenumber" name="643" href="#643">643</a> 
+<a class="jxr_linenumber" name="644" href="#644">644</a>             <strong class="jxr_keyword">if</strong> ( nbElems &gt; halfSize )
+<a class="jxr_linenumber" name="645" href="#645">645</a>             {
+<a class="jxr_linenumber" name="646" href="#646">646</a>                 <em class="jxr_comment">// The page has more than N/2 elements.</em>
+<a class="jxr_linenumber" name="647" href="#647">647</a>                 <em class="jxr_comment">// We simply remove the element from the page, and if it was the leftmost,</em>
+<a class="jxr_linenumber" name="648" href="#648">648</a>                 <em class="jxr_comment">// we return the new pivot (it will replace any instance of the removed</em>
+<a class="jxr_linenumber" name="649" href="#649">649</a>                 <em class="jxr_comment">// key in its parents)</em>
+<a class="jxr_linenumber" name="650" href="#650">650</a>                 RemoveResult&lt;K, V&gt; result = removeKey( mergedResult, revision, pos );
+<a class="jxr_linenumber" name="651" href="#651">651</a> 
+<a class="jxr_linenumber" name="652" href="#652">652</a>                 <strong class="jxr_keyword">return</strong> result;
+<a class="jxr_linenumber" name="653" href="#653">653</a>             }
+<a class="jxr_linenumber" name="654" href="#654">654</a>             <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="655" href="#655">655</a>             {
+<a class="jxr_linenumber" name="656" href="#656">656</a>                 <em class="jxr_comment">// We will remove one element from a page that will have less than N/2 elements,</em>
+<a class="jxr_linenumber" name="657" href="#657">657</a>                 <em class="jxr_comment">// which will lead to some reorganization : either we can borrow an element from</em>
+<a class="jxr_linenumber" name="658" href="#658">658</a>                 <em class="jxr_comment">// a sibling, or we will have to merge two pages</em>
+<a class="jxr_linenumber" name="659" href="#659">659</a>                 <strong class="jxr_keyword">int</strong> siblingPos = selectSibling( ( Node&lt;K, V&gt; ) parent, parentPos );
+<a class="jxr_linenumber" name="660" href="#660">660</a> 
+<a class="jxr_linenumber" name="661" href="#661">661</a>                 Node&lt;K, V&gt; sibling = ( Node&lt;K, V&gt; ) ( ( ( Node&lt;K, V&gt; ) parent ).children[siblingPos].getValue( btree ) );
+<a class="jxr_linenumber" name="662" href="#662">662</a> 
+<a class="jxr_linenumber" name="663" href="#663">663</a>                 <strong class="jxr_keyword">if</strong> ( sibling.getNbElems() &gt; halfSize )
+<a class="jxr_linenumber" name="664" href="#664">664</a>                 {
+<a class="jxr_linenumber" name="665" href="#665">665</a>                     <em class="jxr_comment">// The sibling contains enough elements</em>
+<a class="jxr_linenumber" name="666" href="#666">666</a>                     <em class="jxr_comment">// We can borrow the element from the sibling</em>
+<a class="jxr_linenumber" name="667" href="#667">667</a>                     <strong class="jxr_keyword">if</strong> ( siblingPos &lt; parentPos )
+<a class="jxr_linenumber" name="668" href="#668">668</a>                     {
+<a class="jxr_linenumber" name="669" href="#669">669</a>                         DeleteResult&lt;K, V&gt; result = borrowFromLeft( revision, mergedResult, sibling, pos );
+<a class="jxr_linenumber" name="670" href="#670">670</a> 
+<a class="jxr_linenumber" name="671" href="#671">671</a>                         <strong class="jxr_keyword">return</strong> result;
+<a class="jxr_linenumber" name="672" href="#672">672</a>                     }
+<a class="jxr_linenumber" name="673" href="#673">673</a>                     <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="674" href="#674">674</a>                     {
+<a class="jxr_linenumber" name="675" href="#675">675</a>                         <em class="jxr_comment">// Borrow from the right</em>
+<a class="jxr_linenumber" name="676" href="#676">676</a>                         DeleteResult&lt;K, V&gt; result = borrowFromRight( revision, mergedResult, sibling, pos );
+<a class="jxr_linenumber" name="677" href="#677">677</a> 
+<a class="jxr_linenumber" name="678" href="#678">678</a>                         <strong class="jxr_keyword">return</strong> result;
+<a class="jxr_linenumber" name="679" href="#679">679</a>                     }
+<a class="jxr_linenumber" name="680" href="#680">680</a>                 }
+<a class="jxr_linenumber" name="681" href="#681">681</a>                 <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="682" href="#682">682</a>                 {
+<a class="jxr_linenumber" name="683" href="#683">683</a>                     <em class="jxr_comment">// We need to merge the sibling with the current page</em>
+<a class="jxr_linenumber" name="684" href="#684">684</a>                     DeleteResult&lt;K, V&gt; result = mergeWithSibling( revision, mergedResult, sibling,
+<a class="jxr_linenumber" name="685" href="#685">685</a>                         ( siblingPos &lt; parentPos ), pos );
+<a class="jxr_linenumber" name="686" href="#686">686</a> 
+<a class="jxr_linenumber" name="687" href="#687">687</a>                     <strong class="jxr_keyword">return</strong> result;
+<a class="jxr_linenumber" name="688" href="#688">688</a>                 }
+<a class="jxr_linenumber" name="689" href="#689">689</a>             }
+<a class="jxr_linenumber" name="690" href="#690">690</a>         }
+<a class="jxr_linenumber" name="691" href="#691">691</a> 
+<a class="jxr_linenumber" name="692" href="#692">692</a>         <em class="jxr_comment">// We should never reach this point</em>
+<a class="jxr_linenumber" name="693" href="#693">693</a>         <strong class="jxr_keyword">return</strong> <strong class="jxr_keyword">null</strong>;
+<a class="jxr_linenumber" name="694" href="#694">694</a>     }
+<a class="jxr_linenumber" name="695" href="#695">695</a> 
+<a class="jxr_linenumber" name="696" href="#696">696</a> 
+<a class="jxr_linenumber" name="697" href="#697">697</a>     <em class="jxr_javadoccomment">/**</em>
+<a class="jxr_linenumber" name="698" href="#698">698</a> <em class="jxr_javadoccomment">     * The deletion in a children has moved an element from one of its sibling. The key</em>
+<a class="jxr_linenumber" name="699" href="#699">699</a> <em class="jxr_javadoccomment">     * is present in the current node.</em>
+<a class="jxr_linenumber" name="700" href="#700">700</a> <em class="jxr_javadoccomment">     * @param borrowedResult The result of the deletion from the children</em>
+<a class="jxr_linenumber" name="701" href="#701">701</a> <em class="jxr_javadoccomment">     * @param pos The position the key was found in the current node</em>
+<a class="jxr_linenumber" name="702" href="#702">702</a> <em class="jxr_javadoccomment">     * @return The result</em>
+<a class="jxr_linenumber" name="703" href="#703">703</a> <em class="jxr_javadoccomment">     * @throws IOException If we have an error while trying to access the page</em>
+<a class="jxr_linenumber" name="704" href="#704">704</a> <em class="jxr_javadoccomment">     */</em>
+<a class="jxr_linenumber" name="705" href="#705">705</a>     <strong class="jxr_keyword">private</strong> RemoveResult&lt;K, V&gt; handleBorrowedResult( BorrowedFromSiblingResult&lt;K, V&gt; borrowedResult, <strong class="jxr_keyword">int</strong> pos )
+<a class="jxr_linenumber" name="706" href="#706">706</a>         <strong class="jxr_keyword">throws</strong> IOException
+<a class="jxr_linenumber" name="707" href="#707">707</a>     {
+<a class="jxr_linenumber" name="708" href="#708">708</a>         Page&lt;K, V&gt; modifiedPage = borrowedResult.getModifiedPage();
+<a class="jxr_linenumber" name="709" href="#709">709</a>         Page&lt;K, V&gt; modifiedSibling = borrowedResult.getModifiedSibling();
+<a class="jxr_linenumber" name="710" href="#710">710</a> 
+<a class="jxr_linenumber" name="711" href="#711">711</a>         Node&lt;K, V&gt; newPage = copy( revision );
+<a class="jxr_linenumber" name="712" href="#712">712</a> 
+<a class="jxr_linenumber" name="713" href="#713">713</a>         <strong class="jxr_keyword">if</strong> ( pos &lt; 0 )
+<a class="jxr_linenumber" name="714" href="#714">714</a>         {
+<a class="jxr_linenumber" name="715" href="#715">715</a>             pos = -( pos + 1 );
+<a class="jxr_linenumber" name="716" href="#716">716</a> 
+<a class="jxr_linenumber" name="717" href="#717">717</a>             <strong class="jxr_keyword">if</strong> ( borrowedResult.isFromRight() )
+<a class="jxr_linenumber" name="718" href="#718">718</a>             {
+<a class="jxr_linenumber" name="719" href="#719">719</a>                 <em class="jxr_comment">// Update the keys</em>
+<a class="jxr_linenumber" name="720" href="#720">720</a>                 newPage.keys[pos] = modifiedPage.findLeftMost().getKey();
+<a class="jxr_linenumber" name="721" href="#721">721</a>                 newPage.keys[pos + 1] = modifiedSibling.findLeftMost().getKey();
+<a class="jxr_linenumber" name="722" href="#722">722</a> 
+<a class="jxr_linenumber" name="723" href="#723">723</a>                 <em class="jxr_comment">// Update the children</em>
+<a class="jxr_linenumber" name="724" href="#724">724</a>                 newPage.children[pos + 1] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="725" href="#725">725</a>                 newPage.children[pos + 2] = createHolder( modifiedSibling );
+<a class="jxr_linenumber" name="726" href="#726">726</a>             }
+<a class="jxr_linenumber" name="727" href="#727">727</a>             <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="728" href="#728">728</a>             {
+<a class="jxr_linenumber" name="729" href="#729">729</a>                 <em class="jxr_comment">// Update the keys</em>
+<a class="jxr_linenumber" name="730" href="#730">730</a>                 newPage.keys[pos] = modifiedPage.findLeftMost().getKey();
+<a class="jxr_linenumber" name="731" href="#731">731</a> 
+<a class="jxr_linenumber" name="732" href="#732">732</a>                 <em class="jxr_comment">// Update the children</em>
+<a class="jxr_linenumber" name="733" href="#733">733</a>                 newPage.children[pos] = createHolder( modifiedSibling );
+<a class="jxr_linenumber" name="734" href="#734">734</a>                 newPage.children[pos + 1] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="735" href="#735">735</a>             }
+<a class="jxr_linenumber" name="736" href="#736">736</a>         }
+<a class="jxr_linenumber" name="737" href="#737">737</a>         <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="738" href="#738">738</a>         {
+<a class="jxr_linenumber" name="739" href="#739">739</a>             <strong class="jxr_keyword">if</strong> ( borrowedResult.isFromRight() )
+<a class="jxr_linenumber" name="740" href="#740">740</a>             {
+<a class="jxr_linenumber" name="741" href="#741">741</a>                 <em class="jxr_comment">// Update the keys</em>
+<a class="jxr_linenumber" name="742" href="#742">742</a>                 newPage.keys[pos] = modifiedSibling.findLeftMost().getKey();
+<a class="jxr_linenumber" name="743" href="#743">743</a> 
+<a class="jxr_linenumber" name="744" href="#744">744</a>                 <em class="jxr_comment">// Update the children</em>
+<a class="jxr_linenumber" name="745" href="#745">745</a>                 newPage.children[pos] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="746" href="#746">746</a>                 newPage.children[pos + 1] = createHolder( modifiedSibling );
+<a class="jxr_linenumber" name="747" href="#747">747</a>             }
+<a class="jxr_linenumber" name="748" href="#748">748</a>             <strong class="jxr_keyword">else</strong>
+<a class="jxr_linenumber" name="749" href="#749">749</a>             {
+<a class="jxr_linenumber" name="750" href="#750">750</a>                 <em class="jxr_comment">// Update the keys</em>
+<a class="jxr_linenumber" name="751" href="#751">751</a>                 newPage.keys[pos - 1] = modifiedPage.findLeftMost().getKey();
+<a class="jxr_linenumber" name="752" href="#752">752</a> 
+<a class="jxr_linenumber" name="753" href="#753">753</a>                 <em class="jxr_comment">// Update the children</em>
+<a class="jxr_linenumber" name="754" href="#754">754</a>                 newPage.children[pos - 1] = createHolder( modifiedSibling );
+<a class="jxr_linenumber" name="755" href="#755">755</a>                 newPage.children[pos] = createHolder( modifiedPage );
+<a class="jxr_linenumber" name="756" href="#756">756</a>             }
+<a class="jxr_linenumber" name="757" href="#757">757</a>         }
+<a class="jxr_linenumber" name="758" href="#758">758</a> 

[... 581 lines stripped ...]


Mime
View raw message