public class EnumeratedReferenceExtension extends Object implements Parser.ParserExtension, HtmlRenderer.HtmlRendererExtension, Parser.ReferenceHoldingExtension, Formatter.FormatterExtension
Create it with create() and then configure it on the builders
(Parser.Builder.extensions(Iterable),
HtmlRenderer.Builder.extensions(Iterable)).
The parsed enumerated_reference text is turned into EnumeratedReferenceText nodes.
| Modifier and Type | Field and Description |
|---|---|
static DataKey<EnumeratedReferences> |
ENUMERATED_REFERENCE_ORDINALS |
static DataKey<ElementPlacement> |
ENUMERATED_REFERENCE_PLACEMENT |
static DataKey<ElementPlacementSort> |
ENUMERATED_REFERENCE_SORT |
static DataKey<EnumeratedReferenceRepository> |
ENUMERATED_REFERENCES |
static DataKey<KeepType> |
ENUMERATED_REFERENCES_KEEP |
EMPTY_LIST, EMPTY_SET| Modifier and Type | Method and Description |
|---|---|
static Extension |
create() |
void |
extend(Formatter.Builder builder) |
void |
extend(HtmlRenderer.Builder rendererBuilder,
String rendererType) |
void |
extend(Parser.Builder parserBuilder) |
void |
parserOptions(MutableDataHolder options) |
void |
rendererOptions(MutableDataHolder options) |
boolean |
transferReferences(MutableDataHolder document,
DataHolder included) |
public static final DataKey<EnumeratedReferenceRepository> ENUMERATED_REFERENCES
public static final DataKey<EnumeratedReferences> ENUMERATED_REFERENCE_ORDINALS
public static final DataKey<ElementPlacement> ENUMERATED_REFERENCE_PLACEMENT
public static final DataKey<ElementPlacementSort> ENUMERATED_REFERENCE_SORT
public static Extension create()
public void rendererOptions(MutableDataHolder options)
rendererOptions in interface Formatter.FormatterExtensionrendererOptions in interface HtmlRenderer.HtmlRendererExtensionpublic void parserOptions(MutableDataHolder options)
parserOptions in interface Parser.ParserExtensionpublic boolean transferReferences(MutableDataHolder document, DataHolder included)
transferReferences in interface Parser.ReferenceHoldingExtensionpublic void extend(Parser.Builder parserBuilder)
extend in interface Parser.ParserExtensionpublic void extend(Formatter.Builder builder)
extend in interface Formatter.FormatterExtensionpublic void extend(HtmlRenderer.Builder rendererBuilder, String rendererType)
extend in interface HtmlRenderer.HtmlRendererExtensionCopyright © 2018. All rights reserved.