org.sablecc.sablecc
Class DFA.Transition

java.lang.Object
  extended by org.sablecc.sablecc.DFA.Transition
Enclosing class:
DFA

public static class DFA.Transition
extends java.lang.Object


Field Summary
 int destination
           
private  char end
           
private  char start
           
 
Constructor Summary
DFA.Transition(CharSet.Interval interval, int destination)
           
DFA.Transition(DFA.Transition transition)
           
 
Method Summary
 CharSet.Interval interval()
           
 boolean match(DFA.Transition transition)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

start

private char start

end

private char end

destination

public int destination
Constructor Detail

DFA.Transition

public DFA.Transition(CharSet.Interval interval,
                      int destination)

DFA.Transition

public DFA.Transition(DFA.Transition transition)
Method Detail

interval

public CharSet.Interval interval()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

match

public boolean match(DFA.Transition transition)