ProductionHolder

class ProductionHolder
Content copied to clipboard

Types

Marker
Link copied to clipboard
common
inner class Marker
Content copied to clipboard

Functions

addProduction
Link copied to clipboard
common
fun addProduction(nodes: Collection<SequentialParser.Node>)
Content copied to clipboard
mark
Link copied to clipboard
common
fun mark(): ProductionHolder.Marker
Content copied to clipboard
updatePosition
Link copied to clipboard
common
fun updatePosition(position: Int)
Content copied to clipboard

Properties

currentPosition
Link copied to clipboard
common
var currentPosition: Int = 0
Content copied to clipboard
production
Link copied to clipboard
common
val production: List<SequentialParser.Node>
Content copied to clipboard