JFlex
Class DFA

java.lang.Object
  extended byJFlex.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)