void (@NotNull GrCodeReferenceElement refElement) { final int oldValue = myTriggerCounter; super.visitCodeReferenceElement(refElement); if (oldValue == myTriggerCounter) { HighlightInfo info = myReferenceChecker.checkCodeReferenceElement(refElement); if (info != null) { myCallback.trigger(refElement, info); myTriggerCounter++; } } }