A collection of (zero or more) SourceErrors.
Has a "current line number" which clients can use as the default line
number, or clients can explicitly provide a line number.
Does not handle localization of messages.
checkErrors
public boolean checkErrors(java.io.PrintStream out,
int max)
Checks if an error was seen; if so, prints and clears the messages.
out
- where to write the error message tomax
- maximum number of messages to print (can be 0)
checkErrors
public boolean checkErrors(java.io.PrintWriter out,
int max)
Checks if an error was seen; if so, prints and clears the messages.
out
- where to write the error message tomax
- maximum number of messages to print (can be 0)
clear
public void clear()
Clear the contained errors and warnings.
clearErrors
public void clearErrors()
Clear the error count (only).
error
public void error(char severity,
String message)
Record a new error at the current default source file location.
severity
- is the seriousness of the error
- one of 'w' (for warning), 'e' (for error), or 'f' (for fatal error)message
- the error message
error
public void error(char severity,
String message,
String code)
error
public void error(char severity,
String filename,
int line,
int column,
String message)
Record a new error.
severity
- is the seriousness of the error
- one of 'w' (for warning), 'e' (for error), or 'f' (for fatal error)filename
- the name or URL of the file containing the errorline
- the (1-origin) line number or 0 if unknowncolumn
- the (1-origin) column number or 0 if unknownmessage
- the error message
error
public void error(char severity,
String filename,
int line,
int column,
String message,
String code)
error
public void error(char severity,
SourceLocator location,
String message)
error
public void error(char severity,
SourceLocator location,
String message,
String code)
error
public void error(SourceError error)
Link in an error.
getColumnNumber
public final int getColumnNumber()
The default column number to use for a new error.
- getColumnNumber in interface SourceLocator
getErrorCount
public int getErrorCount()
Get the number of errors (not counting warnings).
getFileName
public final String getFileName()
The default filename to use for a new error.
- getFileName in interface SourceLocator
getLineNumber
public final int getLineNumber()
The default line number to use for a new error.
- getLineNumber in interface SourceLocator
printAll
public void printAll(java.io.PrintStream out,
int max)
Print all the error messages to a PrintStream.
printAll
public void printAll(java.io.PrintWriter out,
int max)
Print all the error messages to a PrintWriter.
seenErrors
public boolean seenErrors()
Return true iff errors (not warnings) have been seen.
seenErrorsOrWarnings
public boolean seenErrorsOrWarnings()
setColumn
public void setColumn(int column)
Set the default column number to use for a new error.
setFile
public void setFile(String filename)
Set the default filename to use for a new error.
setLine
public void setLine(String filename,
int line,
int column)
Set the default filename, line and column to use for a new error.
setLine
public void setLine(int line)
Set the default line number to use for a new error.
setLocation
public final void setLocation(SourceLocator locator)
Copies the current position of locator.
setSourceLocator
public final void setSourceLocator(SourceLocator locator)
Links our location to the one give.
toString
public String toString(int max)
Convert this to a String containing the recorded errors.
max
- the maximum number of error error to list
- a String with one '\n'-terminated line per recorded error