@Override
  public void appendMirrorText(int indentLevel, @NotNull StringBuilder buffer) {
    buffer.append('(');
    PsiRecordComponent[] parameters = getRecordComponents();
    for (int i = 0; i < parameters.length; i++) {
      if (i > 0) buffer.append(", ");
      appendText(parameters[i], indentLevel, buffer);
    }
    buffer.append(')');
  }
@Override
  public void appendMirrorText(int indentLevel, @NotNull StringBuilder buffer)