scanner
Class IsDigitTransition

java.lang.Object
  extended byscanner.Transition
      extended byscanner.IsDigitTransition

public class IsDigitTransition
extends Transition

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

IsDigitTransition

public IsDigitTransition(State state)
Default constructor.