java_cup

Class ErrorManager


public class ErrorManager
extends java.lang.Object

Method Summary

void
emit_error(String message)
void
emit_error(String message, Symbol sym)
void
emit_fatal(String message)
Error message format: ERRORLEVEL at (LINE/COLUMN)@SYMBOL: MESSAGE ERRORLEVEL : MESSAGE
void
emit_fatal(String message, Symbol sym)
void
emit_warning(String message)
void
emit_warning(String message, Symbol sym)
int
getErrorCount()
int
getFatalCount()
static ErrorManager
getManager()
int
getWarningCount()

Method Details

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