public String toString(Vocabulary vocabulary) {if (s0 == null) {return "";}DFASerializer serializer = new DFASerializer(this, vocabulary);return serializer.toString();}

public String toString ( Vocabulary vocabulary ) { if ( s0 == null ) { return "" ; } DFASerializer serializer = new DFASerializer ( this , vocabulary ) ; return serializer . toString ( ) ; }
public String ToString(IVocabulary vocabulary){if (s0 == null){return "";}DFASerializer serializer = new DFASerializer(this, vocabulary);return serializer.ToString();}
