java_cup
Class ErrorManager
public class ErrorManager
extends java.lang.Object
emit_error
public void emit_error(String message)
emit_error
public void emit_error(String message,
Symbol sym)
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)
getErrorCount
public int getErrorCount()
getFatalCount
public int getFatalCount()
getManager
public static ErrorManager getManager()
getWarningCount
public int getWarningCount()