/** * Update the array of seen pages. */ private static void updateCheckedPages( int[] checkedPages, int pageSize, PageIO... pageIos ) { for ( PageIO pageIO : pageIos ) { long offset = pageIO.getOffset(); setCheckedPage( rm, checkedPages, offset ); } }
setCheckedPage( recordManager, checkedPages.get( GLOBAL_PAGES_NAME ), currentOffset ); setCheckedPage( recordManager, checkedPages.get( FREE_PAGES_NAME ), currentOffset );