java_cup

Class ErrorManager

public class ErrorManager extends Object

Method Summary
voidemit_error(String message)
voidemit_error(String message, Symbol sym)
voidemit_fatal(String message)
Error message format: ERRORLEVEL at (LINE/COLUMN)@SYMBOL: MESSAGE ERRORLEVEL : MESSAGE
voidemit_fatal(String message, Symbol sym)
voidemit_warning(String message)
voidemit_warning(String message, Symbol sym)
intgetErrorCount()
intgetFatalCount()
static ErrorManagergetManager()
intgetWarningCount()

Method Detail

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()