void (@NotNull Info info, @NotNull Map<String, String> attributes, int start, int end) { String placeholder = ObjectUtils.notNull(attributes.get("text"), "..."); info.foldings.add(new FoldingInfo(placeholder, start, end)); }