@Override
  public Segment getNavigationRange() {
    PsiElement reportedElement = myElementPointer.getElement();
    return reportedElement == null ? null : reportedElement.getTextRange();
  }
@Override
  public Segment getNavigationRange()