/** * Must be called when object is no longer referenced. Caller must acquire exclusive latch. */ void doDelete(_LocalDatabase db) { /*P*/ // [| if (db.mFullyMapped) { // Cannot delete mapped pages. closeRoot(); return; } /*P*/ // ] long page = mPage; if (page != p_closedTreePage()) { p_delete(page); closeRoot(); } }
/** * Must be called when object is no longer referenced. Caller must acquire exclusive latch. */ void doDelete(_LocalDatabase db) { /*P*/ // [| if (db.mFullyMapped) { // Cannot delete mapped pages. closeRoot(); return; } /*P*/ // ] long page = mPage; if (page != p_closedTreePage()) { p_delete(page); closeRoot(); } }
/** * Must be called when object is no longer referenced. Caller must acquire exclusive latch. */ void doDelete(_LocalDatabase db) { /*P*/ // [| if (db.mFullyMapped) { // Cannot delete mapped pages. closeRoot(); return; } /*P*/ // ] long page = mPage; if (page != p_closedTreePage()) { p_delete(page); closeRoot(); } }
root.closeRoot();
root.closeRoot();