HeadingIdentifierDeduplicationIndexProperty

Property that stores the 0-based occurrence index of a Heading's base identifier within the document.

  • 0 for the first heading that produces a given base identifier;

  • 1 for the second heading that would collide with the first;

  • 2 for the third, and so on.

Renderers can use this index to disambiguate colliding heading identifiers (e.g. by appending -2, -3, ...).

Populated by com.quarkdown.core.context.hooks.HeadingIdentifierDeduplicationHook during tree traversal, so that potentially parallel rendering reads from a fully-populated, deterministic state.

Parameters

value

the deduplication index

Constructors

constructor(value: Int)

Types

Link copied to clipboard

Properties

Link copied to clipboard

The key of the property, used to identify it.

Link copied to clipboard
open override val value: Int