Package jflex.core
Class NFA
java.lang.Object
jflex.core.NFA
Non-deterministic finite automata representation in JFlex.
Contains algorithms RegExp → NFA.
- Version:
- JFlex 1.8.2
- Author:
- Gerwin Klein
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
addEpsilonTransition
(int start, int dest) void
addRegExp
(int regExpNum) Add a regexp to this NFA.void
Add a standalone rule that has minimum priority, fires a transition on all single input characters and has a "print yytext" action.void
addTransition
(int start, int input, int dest) boolean
containsFinal
(StateSet set) Returnstrue
, iff the specified set of states contains a final state.void
epsilon
(int i) void
Returns the action with highest priority in the specified set of states.Constructs an NFA for regExp such that the NFA hasint
int
numInput()
int
int
reachableStates
(int currentState, int nextChar) Returns the set of states that can be reached from currentState with an input nextChar.states()
toString()
void
-
Constructor Details
-
NFA
public NFA(int numInput, int estSize) Constructor for NFA. -
NFA
Construct new NFA.Assumes that lookahead cases and numbers are already resolved in RegExps.
- Parameters:
numInput
- a int.scanner
- aLexScan
object.regExps
- aRegExps
object.macros
- aMacros
object.classes
- aCharClasses
object.- See Also:
-
-
Method Details
-
epsilon
-
numEntryStates
public int numEntryStates() -
numInput
public int numInput() -
numLexStates
public int numLexStates() -
numStates
public int numStates() -
reachableStates
Returns the set of states that can be reached from currentState with an input nextChar. -
states
-
tempStateSet
-
addStandaloneRule
public void addStandaloneRule()Add a standalone rule that has minimum priority, fires a transition on all single input characters and has a "print yytext" action. -
addRegExp
public void addRegExp(int regExpNum) Add a regexp to this NFA.- Parameters:
regExpNum
- the number of the regexp to add.
-
addTransition
public void addTransition(int start, int input, int dest) -
addEpsilonTransition
public void addEpsilonTransition(int start, int dest) -
containsFinal
Returnstrue
, iff the specified set of states contains a final state.- Parameters:
set
- the set of states that is tested for final states.
-
getAction
Returns the action with highest priority in the specified set of states.- Parameters:
set
- the set of states for which to determine the action
-
epsilonFill
public void epsilonFill() -
dumpTable
public void dumpTable() -
toString
-
writeDot
-
dotFormat
-
insertNFA
Constructs an NFA for regExp such that the NFA hasexactly one start state, exactly one end state, no transitions leading out of the end state no transitions leading into the start state
- Parameters:
regExp
- the regular expression to construct the NFA for- Returns:
- a pair of integers denoting the index of start and end state of the NFA.
-