|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectnet.sf.parser4j.kernelgenerator.entity.state.dfa.DfaStateMap
public class DfaStateMap
| Field Summary | |
|---|---|
protected java.util.Map<java.lang.Integer,DfaState> |
stateByIdentifierMap
|
| Constructor Summary | |
|---|---|
DfaStateMap()
|
|
| Method Summary | |
|---|---|
DfaState |
addState(DfaState state)
add state if state exist return false, else add new state and set its state identifier number |
int |
numberOfState()
|
DfaState |
stateByIdentifier(int stateIdentifier)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
protected final java.util.Map<java.lang.Integer,DfaState> stateByIdentifierMap
| Constructor Detail |
|---|
public DfaStateMap()
| Method Detail |
|---|
public DfaState addState(DfaState state)
state - state to add, can already exist
public DfaState stateByIdentifier(int stateIdentifier)
stateIdentifier -
public int numberOfState()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||