static int file_map_iget_occurence( const file_map_type * file_map , int global_index) { const ecl_file_kw_type * file_kw = vector_iget_const( file_map->kw_list , global_index); const char * header = ecl_file_kw_get_header( file_kw ); const int_vector_type * index_vector = hash_get( file_map->kw_index , header ); const int * index_data = int_vector_get_const_ptr( index_vector ); int occurence = -1; { /* Manual reverse lookup. */ int i; for (i=0; i < int_vector_size( index_vector ); i++) if (index_data[i] == global_index) occurence = i; } if (occurence < 0) util_abort("%s: internal error ... \n" , __func__); return occurence; }
void int_vector_append_vector(int_vector_type * vector , const int_vector_type * other) { int_vector_append_many( vector , int_vector_get_const_ptr( other ), int_vector_size( other )); }