public interface ErrorHandler
Modifier and Type | Method and Description |
---|---|
void |
error(String message,
long line,
long col)
report an error : May not return (depends on error handler policy)
|
void |
fatal(String message,
long line,
long col)
report a catastrophic error.
|
void |
warning(String message,
long line,
long col)
report a warning
|
void warning(String message, long line, long col)
void error(String message, long line, long col)
void fatal(String message, long line, long col)
Licenced under the Apache License, Version 2.0