Lines Matching refs:property_details
2236 PropertyDetails old_details = it.property_details();4942 it.property_details().type() == FIELD) {11031 : it.property_details();