public TocOptions withLevelList(int... levelList) { int levels = getLevels(levelList); return withLevels(levels); }
@Override public TocOptions create(DataHolder options) { return new TocOptions(options, false); } });
public static List<Heading> filteredHeadings(List<Heading> headings, TocOptions tocOptions) { ArrayList<Heading> filteredHeadings = new ArrayList<Heading>(headings.size()); for (Heading header : headings) { if (tocOptions.isLevelIncluded(header.getLevel()) && !(header.getParent() instanceof SimTocContent)) { filteredHeadings.add(header); } } return filteredHeadings; }
@Override public TocOptions setOptions(TocOptions options) { return options.withIsTextOnly(true); } }),
@Override public TocOptions setOptions(TocOptions options) { return options.withIsNumbered(true); } }),
options.set(TocExtension.LEVELS, TocOptions.getLevels(2, 3));
@Override protected TocOptions setOptions(TocOptions options) { return options.withIsHtml(true); } }),
@Override public MutableDataHolder setIn(final MutableDataHolder dataHolder) { return toImmutable().setIn(dataHolder); }
@Override public boolean equals(final Object o) { if (this == o) return true; if (!(o instanceof TocOptions || o instanceof TocOptions.AsMutable)) return false; AsMutable options = o instanceof TocOptions.AsMutable ? (TocOptions.AsMutable) o : ((TocOptions) o).toMutable(); if (levels != options.levels) return false; if (isTextOnly != options.isTextOnly) return false; if (isNumbered != options.isNumbered) return false; if (listType != options.listType) return false; if (isHtml != options.isHtml) return false; if (titleLevel != options.titleLevel) return false; if (!title.equals(options.title)) return false; if (!divClass.equals(options.divClass)) return false; if (!listClass.equals(options.listClass)) return false; if (rawTitleLevel != options.rawTitleLevel) return false; if (!rawTitle.equals(options.rawTitle)) return false; if (isAstAddOptions != options.isAstAddOptions) return false; if (isBlankLineSpacer != options.isBlankLineSpacer) return false; if (isCaseSensitiveTocTag != options.isCaseSensitiveTocTag) return false; return true; }
public static String getSimTocPrefix(TocOptions options, TocOptions defaultOptions) { DelimitedBuilder out = new DelimitedBuilder(" "); out.append("[TOC").mark(); SimTocOptionsParser optionsParser = new SimTocOptionsParser(); out.append(optionsParser.getOptionText(options, defaultOptions)); out.unmark().append("]:").mark().append('#').mark(); String optionTitleHeading = options.getTitleHeading(); String optionTitle = options.title; if (defaultOptions == null || !optionTitleHeading.equals(defaultOptions.getTitleHeading())) { if (!optionTitle.isEmpty()) { out.append('"'); if (defaultOptions == null || options.titleLevel != defaultOptions.titleLevel) { out.append(optionTitleHeading); } else { out.append(optionTitle); } out.append('"').mark(); } else { out.append("\"\"").mark(); } } out.unmark().append("\n").unmark(); return out.toString(); }
if (newLevels != 0) result = result.withLevels(newLevels);
@Override public TocOptions setOptions(TocOptions options) { return options.withIsTextOnly(true); } }),
@Override public TocOptions setOptions(TocOptions options) { return options.withIsNumbered(true); } }),
options.set(TocExtension.LEVELS, TocOptions.getLevels(2, 3));
@Override public TocOptions setOptions(TocOptions options) { return options.withIsHtml(false); } }),
@Override public MutableDataHolder setIn(final MutableDataHolder dataHolder) { return toImmutable().setIn(dataHolder); }
@Override public boolean equals(final Object o) { if (this == o) return true; if (!(o instanceof TocOptions || o instanceof TocOptions.AsMutable)) return false; AsMutable options = o instanceof TocOptions.AsMutable ? (TocOptions.AsMutable) o : ((TocOptions) o).toMutable(); if (levels != options.levels) return false; if (isTextOnly != options.isTextOnly) return false; if (isNumbered != options.isNumbered) return false; if (listType != options.listType) return false; if (isHtml != options.isHtml) return false; if (titleLevel != options.titleLevel) return false; if (!title.equals(options.title)) return false; if (!divClass.equals(options.divClass)) return false; if (!listClass.equals(options.listClass)) return false; if (rawTitleLevel != options.rawTitleLevel) return false; if (!rawTitle.equals(options.rawTitle)) return false; if (isAstAddOptions != options.isAstAddOptions) return false; if (isBlankLineSpacer != options.isBlankLineSpacer) return false; if (isCaseSensitiveTocTag != options.isCaseSensitiveTocTag) return false; return true; }
public static String getSimTocPrefix(TocOptions options, TocOptions defaultOptions) { DelimitedBuilder out = new DelimitedBuilder(" "); out.append("[TOC").mark(); SimTocOptionsParser optionsParser = new SimTocOptionsParser(); out.append(optionsParser.getOptionText(options, defaultOptions)); out.unmark().append("]:").mark().append('#').mark(); String optionTitleHeading = options.getTitleHeading(); String optionTitle = options.title; if (defaultOptions == null || !optionTitleHeading.equals(defaultOptions.getTitleHeading())) { if (!optionTitle.isEmpty()) { out.append('"'); if (defaultOptions == null || options.titleLevel != defaultOptions.titleLevel) { out.append(optionTitleHeading); } else { out.append(optionTitle); } out.append('"').mark(); } else { out.append("\"\"").mark(); } } out.unmark().append("\n").unmark(); return out.toString(); }
if (newLevels != 0) result = result.withLevels(newLevels);
@Override public TocOptions toImmutable() { return new TocOptions(this); }