public class PrintStreamJSONErrorManager extends BasicErrorManager
BasicErrorManager
.Constructor and Description |
---|
PrintStreamJSONErrorManager(java.io.PrintStream stream,
SourceExcerptProvider sourceExcerptProvider)
Creates an error manager.
|
Modifier and Type | Method and Description |
---|---|
void |
generateReport()
Writes a report to an implementation-specific medium.
|
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.
|
getErrorCount, getErrors, getTypedPercent, getWarningCount, getWarnings, hasHaltingErrors, report, setTypedPercent
public PrintStreamJSONErrorManager(java.io.PrintStream stream, SourceExcerptProvider sourceExcerptProvider)
stream
- the stream on which the errors and warnings should be printed. This class does
not close the streamsourceExcerptProvider
- used to retrieve the source context which generated the error@GwtIncompatible public void generateReport()
ErrorManager
ErrorManager.report(com.google.javascript.jscomp.CheckLevel, com.google.javascript.jscomp.JSError)
calls.generateReport
in interface ErrorManager
generateReport
in class BasicErrorManager
public void println(CheckLevel level, JSError error)
BasicErrorManager
BasicErrorManager.generateReport()
method when generating messages.println
in class BasicErrorManager
public void printSummary()
BasicErrorManager
printSummary
in class BasicErrorManager
Copyright © 2009-2018 Google. All Rights Reserved.