gudusoft.gsqlparser

Class TCustomParser.ProofLrConfiguration

Object

gudusoft.gsqlparser.TCustomParser.ProofLrConfiguration

Enclosing class:

TCustomParser

public static final class TCustomParser.ProofLrConfiguration
extends Object

The automaton's configuration at the proof cutoff: the state stack as it stood when the parser first needed a token at or beyond the cutoff, plus every reduction performed before that point.

The snapshot is taken while the cutoff token has been READ but not yet shifted, and before any action is looked up for it. So the stack is exactly "what the literal prefix committed to", with no influence from the unstable token — which is the whole point.

Field Summary

Fields

Modifier and Type	Field and Description
List<TCustomParser.ProofReduction>	reductions Reductions performed before the cutoff, in order.
int[]	stateStack The state stack, bottom first — a copy of yys[1..yysp].
long	stoppedBeforeOffset Character offset of the token the parser stopped before.
int	stoppedBeforeTokenCode Token code of that token.

Method Summary

Modifier and Type	Method and Description
int	depth() Depth of the state stack.
int	topState() The state on top of the stack — the automaton's current state.
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

stateStack

public final int[] stateStack

The state stack, bottom first — a copy of yys[1..yysp].

stoppedBeforeOffset

public final long stoppedBeforeOffset

Character offset of the token the parser stopped before.

stoppedBeforeTokenCode

public final int stoppedBeforeTokenCode

Token code of that token.

reductions

public final List<TCustomParser.ProofReduction> reductions

Reductions performed before the cutoff, in order.

Method Detail

depth

public int depth()

Depth of the state stack.

topState

public int topState()

The state on top of the stack — the automaton's current state.

toString

public String toString()

Overrides:

toString in class Object