Lines Matching refs:dictionary_index
515 int enumeration_index = original_details.dictionary_index();
