113114115116117118119120121122123
write(mgr, 1234) ; write(mgr, 5678) ; mgr.beginRead() ; Block b0 = mgr.getWrite(0) ; mgr.endRead() ; } @Test(expected=BlockException.class) public void track_04() {
124125126127128129130131132133134
BlockMgr mgr = setup() ; write(mgr, 1234) ; mgr.beginRead() ; Block b0 = mgr.getRead(0) ; mgr.promote(b0) ; mgr.endRead() ; } @Test(expected=BlockException.class) public void track_05() {
140141142143144145146147148
@Test(expected=BlockException.class) public void track_06() { BlockMgr mgr = setup() ; mgr.beginUpdate() ; mgr.endRead() ; } }