JFlex

Class DFA

public final class DFA extends Object implements ErrorMessages

DFA representation in JFlex. Contains minimization algorithm.
Field Summary
static intNO_TARGET
The code for "no target state" in the transition table.
Constructor Summary
DFA(int numLexStates, int numInp)
Method Summary
voidaddTransition(int start, char input, int dest)
voidcheckActions(LexScan scanner, LexParse parser)
StringdotFormat()
voidminimize()
voidprintTable(boolean[][] equiv)
voidsetAction(int state, Action stateAction)
voidsetFinal(int state, boolean isFinalState)
voidsetLexState(int lState, int trueState)
voidsetPushback(int state, boolean isPushbackState)
StringtoString()
voidwriteDot(File file)

Field Detail

NO_TARGET

public static final int NO_TARGET
The code for "no target state" in the transition table.

Constructor Detail

DFA

public DFA(int numLexStates, int numInp)

Method Detail

addTransition

public void addTransition(int start, char input, int dest)

checkActions

public void checkActions(LexScan scanner, LexParse parser)

dotFormat

public String dotFormat()

minimize

public void minimize()

printTable

public void printTable(boolean[][] equiv)

setAction

public void setAction(int state, Action stateAction)

setFinal

public void setFinal(int state, boolean isFinalState)

setLexState

public void setLexState(int lState, int trueState)

setPushback

public void setPushback(int state, boolean isPushbackState)

toString

public String toString()

writeDot

public void writeDot(File file)