/** * Closes the record manager. * * @throws IOException when one of the underlying I/O operations fails. */ public void close() throws IOException { checkIfClosed(); pageMgr.close(); pageMgr = null; recordFile.close(); recordFile = null; }
/** * Closes the record manager. * * @throws IOException when one of the underlying I/O operations fails. */ public synchronized void close() throws IOException { checkIfClosed(); pageMgr.close(); pageMgr = null; recordFile.close(); recordFile = null; }
/** * Closes the record manager. * * @throws IOException when one of the underlying I/O operations fails. */ public synchronized void close() throws IOException { checkIfClosed(); pageMgr.close(); pageMgr = null; recordFile.close(); recordFile = null; }