Searched defs:wrappingElement (Results 1 – 1 of 1) sorted by relevance
441 TypeElement wrappingElement = elements.getTypeElement(newWrappingClassName); in rewrapMapKey() local470 TypeElement wrappingElement = elements.getTypeElement(wrappingClassName); in wrapMapKey() local