public string text_char() //throws RecognitionException, TokenStreamException { string s = string.Empty; IToken a = null; { a = LT(1); match(tokenSet_6_); } s = a.getText(); return s; }