Searched refs:getJavaElement (Results 1 – 4 of 4) sorted by relevance
31 public Element getJavaElement() { in getJavaElement() method in AccessPathElement
173 Element elem = elements.get(0).getJavaElement(); in getNonnullReceiverFields()230 Element e = ape.getJavaElement(); in getNullnessInfoBeforeNewContext()
173 && accessPath.getElements().get(0).getJavaElement() in includeApInfoInSavedContext()
350 Element element = elements.get(0).getJavaElement(); in onMatchMethodReference()