@Override
  public char @NotNull [] textToCharArray() {
    PsiElement mirror = getMirror();
    return mirror != null ? mirror.textToCharArray() : ArrayUtilRt.EMPTY_CHAR_ARRAY;
  }
@Override
  public char @NotNull [] textToCharArray()