String () { return "\"" + (nameId > 0 ? getName() : "?") + "\"; nameId: " + nameId + "; id: " + id + " (" + (attributes == UNKNOWN ? "unknown" : attributes.toString()) + ")" + (children == null ? "" : "\n " + StringUtil.join(children, info -> info.toString().replaceAll("\n", "\n "), "\n ")); }