docs/org.intellij.markdown.parser/ProductionHolder

ProductionHolder

class ProductionHolder

Constructors

ProductionHolder

constructor()

Types

inner class Marker

Properties

currentPosition

var currentPosition: Int

val production: List<SequentialParser.Node>

Functions

fun addProduction(nodes: Collection<SequentialParser.Node>)

fun mark(): ProductionHolder.Marker

fun updatePosition(position: Int)