CanonicalLR1Tables

Abstract view on the parse tables for a deterministic canonical LR-like parser with 1-symbol lookahead. Note that the represented parser may well be a <emph>nondeterministic</emph> one.

@author SöKa

interface CanonicalLR1Tables {

Action[] getSortedParserActionRow(int state);

Goto[] getSortedGotoRow(int state);

}

Members

Classes

Action class Action: Undocumented in source.
Goto class Goto: Undocumented in source.
Halt class Halt: Undocumented in source.
Reduce class Reduce: Undocumented in source.
Shift class Shift: Undocumented in source.

Functions

eof Terminal eof(): Returns the end-of-file Terminal symbol that has been added to the original grammar to generate the parser.
getSortedGotoRow Goto[] getSortedGotoRow(int state): Returns a List of the Goto entries for the given state's "goto table" row. Entries are guaranteed to be sorted by the List entries' lhs.index(). <p> Implementation must be such that this method can safely be called multiple times for a fixed <code>state</code> without performance becoming an issue.
getSortedParserActionRow Action[] getSortedParserActionRow(int state): Returns a List of the Shift, Halt, and Reduce entries for the given state's "parser action table" row. Entries are guaranteed to be sorted by the List entries' lookahead.index(). <p> Implementation must be such that this method can safely be called multiple times for a fixed <code>state</code> without performance becoming an issue.
stateCount int stateCount(): Returns the number of states in the parser.

CanonicalLR1Tables

Members

Classes

Functions

Meta

Source