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