@GwtIncompatible(value="java.io.PrintStream") public class PrintStreamErrorManager extends BasicErrorManager
An error manager that prints errors and warnings to the print stream
provided in addition to the functionality of the
BasicErrorManager.
It collaborates with a SourceExcerptProvider via a
MessageFormatter to display error messages with source context.
| Constructor and Description |
|---|
PrintStreamErrorManager(MessageFormatter formatter,
PrintStream stream)
Creates an error manager.
|
PrintStreamErrorManager(PrintStream stream)
Creates an instance with a source-less error formatter.
|
| Modifier and Type | Method and Description |
|---|---|
void |
println(CheckLevel level,
JSError error)
Print a message with a trailing new line.
|
void |
printSummary()
Print the summary of the compilation - number of errors and warnings.
|
void |
setSummaryDetailLevel(int summaryDetailLevel) |
generateReport, getErrorCount, getErrors, getTypedPercent, getWarningCount, getWarnings, report, setTypedPercentpublic PrintStreamErrorManager(MessageFormatter formatter, PrintStream stream)
formatter - the message formatter used to format the messagesstream - the stream on which the errors and warnings should be
printed. This class does not close the streampublic PrintStreamErrorManager(PrintStream stream)
public void println(CheckLevel level, JSError error)
BasicErrorManagerBasicErrorManager.generateReport() method when generating messages.println in class BasicErrorManagerpublic void setSummaryDetailLevel(int summaryDetailLevel)
public void printSummary()
BasicErrorManagerprintSummary in class BasicErrorManagerCopyright © 2009-2015 Google. All Rights Reserved.