void (@NotNull Element element, String prefix) { ElementInfo info = getElementInfo(element); prefix += "/" + info.name; if (info.hasNullAttributes) { //noinspection UseOfSystemOutOrSystemErr System.err.println(prefix); } for (final Element child : element.getChildren()) { printDiagnostics(child, prefix); } }