How to use

TocOptions

in

com.vladsch.flexmark.ext.toc.internal

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);
}