JFlex
Class DFA

java.lang.Object
  JFlex.DFA

All Implemented Interfaces:

ErrorMessages

public final class DFA

extends java.lang.Object

implements ErrorMessages

DFA representation in JFlex. Contains minimization algorithm.

Field Summary

static int

NO_TARGET The code for "no target state" in the transition table.

Fields inherited from interface JFlex.ErrorMessages

CHARCLASS_MACRO, CHARSET_2_SMALL, CS2SMALL_CHAR, CS2SMALL_STRING, CUPSYM_AFTER_CUP, EOF_IN_ACTION, EOF_IN_COMMENT, EOF_IN_MACROS, EOF_IN_REGEXP, EOF_IN_STATES, EOF_IN_STRING, EOF_SINGLERULE, EOF_WO_ACTION, EOL_IN_CHARCLASS, FILE_CYCLE, FILE_WRITE, LEXSTATE_UNDECL, LOOKAHEAD_ERROR, MACRO_UNDECL, messages, NEVER_MATCH, NO_BUFFER_SIZE, NO_DIRECTORY, NO_LAST_ACTION, NO_LEX_SPEC, NO_MATCHING_BR, NO_SKEL_FILE, NOT_AT_BOL, NOT_READABLE, OUT_OF_MEMORY, QUIL_CUPSYM, QUIL_EOFTHROW, QUIL_INITTHROW, QUIL_SCANERROR, QUIL_THROW, QUIL_YYLEXTHROW, REGEXP_EXPECTED, REPEAT_GREATER, REPEAT_ZERO, STATE_IDENT_EXP, SYNTAX_ERROR, UNEXPECTED_CHAR, UNEXPECTED_EOF, UNEXPECTED_NL, UNKNOWN_OPTION, UNKNOWN_SYNTAX, UNTERMINATED_STR, WRONG_SKELETON, ZERO_STATES

Constructor Summary

DFA(int numLexStates, int numInp)

Method Summary

void	addTransition(int start, char input, int dest)
void	checkActions(LexScan scanner, LexParse parser)
java.lang.String	dotFormat()
void	minimize()
void	printTable(boolean[][] equiv)
void	setAction(int state, Action stateAction)
void	setFinal(int state, boolean isFinalState)
void	setLexState(int lState, int trueState)
void	setPushback(int state, boolean isPushbackState)
java.lang.String	toString()
void	writeDot(java.io.File file)

Methods inherited from class java.lang.Object

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

Field Detail

NO_TARGET

public static final int NO_TARGET

The code for "no target state" in the transition table.

See Also:

Constant Field Values

Constructor Detail

DFA

public DFA(int numLexStates,
           int numInp)

Method Detail

setLexState

public void setLexState(int lState,
                        int trueState)

setAction

public void setAction(int state,
                      Action stateAction)

setFinal

public void setFinal(int state,
                     boolean isFinalState)

setPushback

public void setPushback(int state,
                        boolean isPushbackState)

addTransition

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

toString

public java.lang.String toString()

writeDot

public void writeDot(java.io.File file)

dotFormat

public java.lang.String dotFormat()

checkActions

public void checkActions(LexScan scanner,
                         LexParse parser)

minimize

public void minimize()

printTable

public void printTable(boolean[][] equiv)