public virtual void DisplayRecognitionError( string[] tokenNames, RecognitionException e ) { string hdr = GetErrorHeader( e ); string msg = GetErrorMessage( e, tokenNames ); EmitErrorMessage( hdr + " " + msg ); }