net.oneandone.mork.pda

Class PDA

java.lang.Object

net.oneandone.mork.pda.PDA

All Implemented Interfaces:

PDABuilder

public class PDA
extends Object
implements PDABuilder

Constructor Summary

Constructors

Constructor and Description
PDA(Grammar grammar, State start)

Method Summary

Modifier and Type	Method and Description
int	add(State state)
int	addIfNew(State state)
static PDA	create(Grammar grammar, Map<Integer,PrefixSet> firsts, int k, int threadCount)
ParserTable	createTable(int lastSymbol, ConflictHandler handler)
int	getEofSymbol() Pseudo-symbol, indicates end-of-file (or an empty word if lookahead is seen as a set of words of length <= 1)
Grammar	getGrammar()
void	print(PrintWriter dest)
int	size()
void	statistics(PrintWriter output)

Methods inherited from class java.lang.Object

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

Constructor Detail

PDA

public PDA(Grammar grammar,
           State start)

Method Detail

create

public static PDA create(Grammar grammar,
                         Map<Integer,PrefixSet> firsts,
                         int k,
                         int threadCount)

add

public int add(State state)

getGrammar

public Grammar getGrammar()

Specified by:

getGrammar in interface PDABuilder

addIfNew

public int addIfNew(State state)

Specified by:

addIfNew in interface PDABuilder

Returns:

id of existing state, -id of newly added state

size

public int size()

Specified by:

size in interface PDABuilder

getEofSymbol

public int getEofSymbol()

Pseudo-symbol, indicates end-of-file (or an empty word if lookahead is seen as a set of words of length <= 1)

createTable

public ParserTable createTable(int lastSymbol,
                               ConflictHandler handler)
                        throws GenericException

Throws:

GenericException

print

public void print(PrintWriter dest)

statistics

public void statistics(PrintWriter output)