text: public string GetTokenName(int t){if (t == TokenConstants.EOF){return "EOF";}IVocabulary vocabulary = parser != null ? parser.Vocabulary : Vocabulary.EmptyVocabulary;String displayName = vocabulary.GetDisplayName(t);if (displayName.Equals(t.ToString())){return displayName;}return displayName + "<" + t + ">";}