public class DFASerializer
extends java.lang.Object
Constructor and Description |
---|
DFASerializer(DFA dfa,
java.lang.String[] tokenNames)
Deprecated.
Use
DFASerializer(DFA, Vocabulary) instead. |
DFASerializer(DFA dfa,
Vocabulary vocabulary) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
getEdgeLabel(int i) |
protected java.lang.String |
getStateString(DFAState s) |
java.lang.String |
toString() |
@Deprecated public DFASerializer(DFA dfa, java.lang.String[] tokenNames)
DFASerializer(DFA, Vocabulary)
instead.public DFASerializer(DFA dfa, Vocabulary vocabulary)
public java.lang.String toString()
toString
in class java.lang.Object
protected java.lang.String getEdgeLabel(int i)
protected java.lang.String getStateString(DFAState s)