BPTreeRecords extends BPTreePage { @Override final public void release() { bpTree.getRecordsMgr().release(this) ; } BPTreeRecords(BPlusTree bpTree, RecordBufferPage rbp); RecordBuffer getRecordBuffer(); @Override final Block getBackingBlock(); @Override void reset(Block block); @Override boolean isFull(); @Override boolean hasAnyKeys(); @Override boolean isMinSize(); @Override Record internalSearch(Record rec); @Override final void write(); @Override final void promote(); @Override final void release(); @Override final void free(); @Override Record internalInsert(Record record); @Override Record internalDelete(Record record); @Override final Record getSplitKey(); @Override final BPTreePage split(); @Override Record shiftRight(BPTreePage other, Record splitKey); @Override Record shiftLeft(BPTreePage other, Record splitKey); @Override BPTreePage merge(BPTreePage right, Record splitKey); @Override final Record minRecord(); @Override final Record maxRecord(); @Override final Record getLowRecord(); @Override final Record getHighRecord(); @Override final int getMaxSize(); @Override final int getCount(); @Override final void setCount(int count); @Override String toString(); @Override final void checkNode(); @Override final void checkNodeDeep(); @Override int getId(); @Override void output(IndentedWriter out);  }
@Test public void bpt_records_1() { BPTreeRecords bpr = make() ; fill(bpr) ; check(bpr) ; bpr.release() ; }