Package java_cup

Class ErrorManager

java.lang.Object
java_cup.ErrorManager

public class ErrorManager extends Object
  • Method Details

    • getFatalCount

      public int getFatalCount()
    • getErrorCount

      public int getErrorCount()
    • getWarningCount

      public int getWarningCount()
    • getManager

      public static ErrorManager getManager()
    • emit_fatal

      public void emit_fatal(String message)
      Error message format: ERRORLEVEL at (LINE/COLUMN)@SYMBOL: MESSAGE ERRORLEVEL : MESSAGE
    • emit_fatal

      public void emit_fatal(String message, Symbol sym)
    • emit_warning

      public void emit_warning(String message)
    • emit_warning

      public void emit_warning(String message, Symbol sym)
    • emit_error

      public void emit_error(String message)
    • emit_error

      public void emit_error(String message, Symbol sym)