How to use

getRecordFile

method

in

jdbm.recman.PageManager

/**
 * Creates a new instance using the indicated record recordFile and page manager.
 */
FreePhysicalRowIdPageManager( PageManager pageManager ) throws IOException
{
  this.recordFile = pageManager.getRecordFile();
  this.pageManager = pageManager;
}

/**
 * Creates a new instance using the indicated record recordFile and page manager.
 */
FreePhysicalRowIdPageManager( PageManager pageManager ) throws IOException
{
  this.recordFile = pageManager.getRecordFile();
  this.pageManager = pageManager;
}

/**
 *  Creates a new instance using the indicated record file and
 *  page manager.
 */
FreeLogicalRowIdPageManager( PageManager pageManager) throws IOException 
{
  this.pageManager = pageManager;
  this.recordFile = pageManager.getRecordFile();
}

/**
 *  Creates a new instance using the indicated record file and
 *  page manager.
 */
FreeLogicalRowIdPageManager( PageManager pageManager) throws IOException {
  this.pageManager = pageManager;
  this.recordFile = pageManager.getRecordFile();
}

/**
 *  Creates a log rowid manager using the indicated record recordFile and
 *  page manager
 */
LogicalRowIdManager( PageManager pageManager ) throws IOException
{
  this.recordFile = pageManager.getRecordFile();
  this.pageManager = pageManager;
  this.freeman = new FreeLogicalRowIdPageManager( pageManager );
}

/**
 *  Creates a new rowid manager using the indicated record file.
 *  and page manager.
 *  @throws IOException If we had an issue while creating the file
 */
PhysicalRowIdManager( PageManager pageManager ) throws IOException
{
  this.pageManager = pageManager;
  file = pageManager.getRecordFile();
  freePageManager = new FreePhysicalRowIdPageManager( pageManager );
}
 

/**
 *  Creates a new rowid manager using the indicated record file.
 *  and page manager.
 */
PhysicalRowIdManager( PageManager pageManager )
  throws IOException
{
  this.pageManager = pageManager;
  this.file = pageManager.getRecordFile();
  this.freeman = new FreePhysicalRowIdPageManager( pageManager );
}

/**
 *  Creates a log rowid manager using the indicated record recordFile and
 *  page manager
 */
LogicalRowIdManager( PageManager pageManager ) throws IOException
{
  this.recordFile = pageManager.getRecordFile();
  this.pageManager = pageManager;
  this.freeman = new FreeLogicalRowIdPageManager( pageManager );
}

/**
 *  Updates an existing record. Returns the possibly changed
 *  physical rowid.
 */
Location update( Location rowid, byte[] data, int start, int length )
  throws IOException
{
  // fetch the record header
  BlockIo block = pageManager.getRecordFile().get( rowid.getBlock() );
  RecordHeader head = new RecordHeader( block, rowid.getOffset() );
  
  if ( length > head.getAvailableSize() ) {
    // not enough space - we need to copy to a new rowid.
    pageManager.getRecordFile().release( block );
    free( rowid );
    rowid = alloc( length );
  } else {
    pageManager.getRecordFile().release( block );
  }
  // 'nuff space, write it in and return the rowid.
  write( rowid, data, start, length );
  return rowid;
}

/**
 *  Updates an existing record. Returns the possibly changed
 *  physical rowid.
 */
Location update( Location rowid, byte[] data, int start, int length ) throws IOException
{
  // fetch the record header
  BlockIo block = pageManager.getRecordFile().get( rowid.getBlock() );
  RecordHeader head = new RecordHeader( block, rowid.getOffset() );
  
  if ( length > head.getAvailableSize() ) 
  {
    // not enough space - we need to copy to a new rowid.
    pageManager.getRecordFile().release( block );
    free( rowid );
    rowid = alloc( length );
  } 
  else 
  {
    pageManager.getRecordFile().release( block );
  }
  // 'nuff space, write it in and return the rowid.
  write( rowid, data, start, length );
  
  return rowid;
}