664409219ca88e">FileIterator</a>(<a class="code" href="classbadgerdb_1_1_file.html">File</a>* file, <a class="code" href="namespacebadgerdb.html#1f49e404293bf4240756b89b53b1587a">PageId</a> page_number)
<a name="l00054"></a>00054       : file_(file),
<a name="l00055"></a>00055         current_page_number_(page_number) {
<a name="l00056"></a>00056   }
<a name="l00057"></a>00057 
<a name="l00061"></a><a class="code" href="classbadgerdb_1_1_file_iterator.html#6fa0f1cef8b46bb933ce6f000276ab52">00061</a>   <span