Lines Matching defs:ErrorManager
91 public class ErrorManager {
333 System.err.println("ErrorManager init error: "+msg);
337 System.err.println("ErrorManager init error: "+msg);
341 System.err.println("ErrorManager init error: "+msg);
345 System.err.println("ErrorManager init error: "+msg);
367 ErrorManager.error(ErrorManager.MSG_INTERNAL_ERROR, msg.toString(), msg.cause);
371 ErrorManager.error(ErrorManager.MSG_INTERNAL_ERROR, msg.toString(), msg.cause);
375 ErrorManager.error(ErrorManager.MSG_INTERNAL_ERROR, msg.toString(), msg.cause);
379 ErrorManager.error(ErrorManager.MSG_INTERNAL_ERROR, msg.toString(), msg.cause);
407 ErrorManager.locale = locale;
438 ErrorManager.formatName = formatName;
468 ErrorManager.locale = locale;
795 /** Return first non ErrorManager code location for generating messages */
801 if ( t.toString().indexOf("ErrorManager")<0 ) {
825 Field[] fields = ErrorManager.class.getFields();
837 msgID = f.getInt(ErrorManager.class);
855 Field[] fields = ErrorManager.class.getFields();
899 /** If there are errors during ErrorManager init, we have no choice
918 throw new Error("ANTLR ErrorManager panic");
