|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectscanner.Transition
scanner.IsDigitTransition
This class defines a transition that corresponds to a digit character.
Constructor Summary | |
IsDigitTransition(State state)
Default constructor. |
Methods inherited from class scanner.Transition |
add, contains, contains, getChars, getSourceState, getTargetState, intersect, isPossible, isSelfTransition, setTargetState, substract, toString |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public IsDigitTransition(State state)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |