/** * Frees a slot */ void free( int slot ) { get( slot ).setSize( 0 ); setCount( ( short ) ( getCount() - 1 ) ); }
/** Frees a slot */ void free( int slot ) { get( slot ).setSize( 0 ); setCount( ( short ) ( getCount() - 1 ) ); }
/** Frees a slot */ void free( int slot ) { get( slot ).setSize( 0 ); setCount( ( short ) ( getCount() - 1 ) ); }
free.setSize( size ); recordFile.release( freePage, true );
free.setSize( size ); recordFile.release( freePage, true );
free.setSize( size ); file.release( freePage, true );