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
equals
Link copied to clipboard
common
open operator fun equals(other: Any?): Boolean
Content copied to clipboard
hashCode
Link copied to clipboard
common
open fun hashCode(): Int
Content copied to clipboard
mark
Link copied to clipboard
common
fun mark(): ProductionHolder.Marker
Content copied to clipboard
toString
Link copied to clipboard
common
open fun toString(): String
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