/** * Returns the page before the indicated block */ long getPrev(long block) throws IOException { try { return PageHeader.getView(file.get(block)).getPrev(); } finally { file.release(block, false); } }
/** * Returns the page following the indicated block */ long getNext(long block) throws IOException { try { return PageHeader.getView(file.get(block)).getNext(); } finally { file.release(block, false); } }
/** * Returns the page before the indicated block */ long getPrev( long block ) throws IOException { try { return PageHeader.getView( recordFile.get( block ) ).getPrev(); } finally { recordFile.release( block, false ); } }
/** * Returns the page before the indicated block */ long getPrev( long block ) throws IOException { try { return PageHeader.getView( file.get( block ) ).getPrev(); } finally { file.release( block, false ); } }
/** * Returns the page following the indicated block */ long getNext( long block ) throws IOException { try { return PageHeader.getView( recordFile.get( block ) ).getNext(); } finally { recordFile.release( block, false ); } }
/** * Returns the page before the indicated block */ long getPrev( long block ) throws IOException { try { return PageHeader.getView( recordFile.get( block ) ).getPrev(); } finally { recordFile.release( block, false ); } }
/** * Returns the page following the indicated block */ long getNext( long block ) throws IOException { try { return PageHeader.getView( file.get( block ) ).getNext(); } finally { file.release( block, false ); } }
/** * Returns the page following the indicated block */ long getNext( long block ) throws IOException { try { return PageHeader.getView( recordFile.get( block ) ).getNext(); } finally { recordFile.release( block, false ); } }
PageHeader pageHdr = PageHeader.getView( buf ); long prev = pageHdr.getPrev(); long next = pageHdr.getNext(); pageHdr = PageHeader.getView( buf ); pageHdr.setNext( next ); recordFile.release( prev, true ); pageHdr = PageHeader.getView( buf ); pageHdr.setPrev( prev ); recordFile.release( next, true );
PageHeader pageHdr = PageHeader.getView( buf ); long prev = pageHdr.getPrev(); long next = pageHdr.getNext(); pageHdr = PageHeader.getView( buf ); pageHdr.setNext( next ); recordFile.release( prev, true ); pageHdr = PageHeader.getView( buf ); pageHdr.setPrev( prev ); recordFile.release( next, true );