Lines Matching refs:original_details
300 PropertyDetails original_details =
302 int enumeration_index = original_details.dictionary_index();
Lines Matching refs:original_details
300 PropertyDetails original_details =
302 int enumeration_index = original_details.dictionary_index();