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