void vector_shrink( vector_type * vector , int new_size ) { if (new_size > vector->size) util_abort("%s: Tried to \'shrink\' vector to %d elements - current size:%d\n",__func__ , new_size , vector->size); { int index; for (index = (vector->size - 1); index >= new_size; index--) vector_idel( vector , index ); } }
void fault_block_layer_del_block( fault_block_layer_type * layer , int block_id) { int storage_index = int_vector_safe_iget( layer->block_map , block_id); if (storage_index >= 0) { int_vector_iset( layer->block_map , block_id , -1 ); vector_idel( layer->blocks , storage_index ); { int index; for (index = 0; index < int_vector_size( layer->block_map ); index++) { int current_storage_index = int_vector_iget( layer->block_map , index ); if (current_storage_index > storage_index) int_vector_iset( layer->block_map ,index , current_storage_index - 1); } } } }
void stringlist_idel(stringlist_type * stringlist , int index) { vector_idel( stringlist->strings , index); }