public static void Panic() { Tool tool = _tool; if ( tool == null ) { // no tool registered, exit throw new Exception( "ANTLR ErrorManager panic" ); } else { tool.Panic(); } }