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