How to use

close

method

in

jdbm.recman.PageManager

/**
 * 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;
}

_physPageman.close();
_physPageman = null;
_physFile = null;
_logicPageman.close();
_logicPageman = null;
_logicFile = null;
_physPagemanFree.close();
_physPagemanFree = null;
_physFileFree = null;
_logicPagemanFree.close();
_logicPagemanFree = 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;
}