public String getErrorDisplay(int c) {String s = String.valueOf((char)c);switch ( c ) {case Token.EOF :s = "<EOF>";break;case '\n' :s = "\\n";break;case '\t' :s = "\\t";break;case '\r' :s = "\\r";break;}return s;}

public virtual string GetErrorDisplay(string s){StringBuilder buf = new StringBuilder();for (var i = 0; i < s.Length; ) {var codePoint = Char.ConvertToUtf32(s, i);buf.Append(GetErrorDisplay(codePoint));i += (codePoint > 0xFFFF) ? 2 : 1;}return buf.ToString();}
