public void error(char severity, String filename, int line, int column, String message) {
if (messages == null) messages = new SourceMessages();
messages.error(severity, filename, line, column, message);
}
public void clearErrors() {
if (messages != null) messages.clearErrors();
}
public SourceError getErrors() {
return messages == null ? null : messages.getErrors();
}
public boolean seenErrors() {
return messages != null && messages.seenErrors();
}
/**
* Returns true if any error were seen. Prints and clears the errors.
*
* @param out where to write the error message to
* @param max maximum number of messages to print (can be 0)
*/
public boolean checkErrors(PrintWriter out, int max) {
return messages != null && messages.checkErrors(out, max);
}