Package net.akehurst.language.agl.automaton

Types

AutomatonKind

common

enum AutomatonKind : Enum<AutomatonKind>

BuildCache

common

interface BuildCache

BuildCacheAbstract

common

abstract class BuildCacheAbstract(stateSet: ParserStateSet) : BuildCache

BuildCacheLC0

common

class BuildCacheLC0(stateSet: ParserStateSet) : BuildCacheAbstract

BuildCacheLC1

common

class BuildCacheLC1(stateSet: ParserStateSet) : BuildCacheAbstract

ClosureItemLC0

common

data class ClosureItemLC0(parentItem: ClosureItemLC0?, rulePosition: RulePosition)

ClosureItemLC1

common

class ClosureItemLC1(parentItem: ClosureItemLC1?, rulePosition: RulePosition, next: RulePosition?, lookaheadSet: LookaheadSet)

FirstOfResult

common

data class FirstOfResult(needsNext: Boolean, result: Set<RuntimeRule>)

HeightGraftInfo

common

data class HeightGraftInfo(parent: List<RulePosition>, parentNext: List<RulePosition>, lhs: LookaheadSet, upLhs: LookaheadSet)

ParserState

common

class ParserState(number: StateNumber, rulePositions: List<RulePosition>, stateSet: ParserStateSet)

ParserStateSet

common

class ParserStateSet(number: Int, runtimeRuleSet: RuntimeRuleSet, userGoalRule: RuntimeRule, isSkip: Boolean, automatonKind: AutomatonKind)

StateInfo

common

data class StateInfo(rulePositions: List<RulePosition>, possiblePrev: List<List<RulePosition>>)

Transition

common

class Transition(from: ParserState, to: ParserState, action: Transition.ParseAction, lookaheadGuard: LookaheadSet, upLookahead: LookaheadSet, prevGuard: List<RulePosition>?, runtimeGuard: Transition.(current: GrowingNode, previous: List<RulePosition>?) -> Boolean)

TransitionCache

common

interface TransitionCache

TransitionCacheLC0

common

class TransitionCacheLC0 : TransitionCache

TransitionCacheLC1

common

class TransitionCacheLC1 : TransitionCache

WidthInfo

common

data class WidthInfo(to: RulePosition, lookaheadSet: LookaheadSet)

Functions

getValue

common

operator fun <T> Lazy<T>.getValue(thisRef: Any?, property: KProperty<*>): T