void (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(')'); }