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