예제 #1
0
 private void returnPageInfo(Page page, BufMgrFrameDesc frame) throws InvalidFrameNumberException {
   frame.pin();
   replacer.pin(frame.getFrameNumber());
   page.setpage(frame.getData());
 }