Package com.google.javascript.jscomp

Class VerifyingErrorManager

java.lang.Object

com.google.javascript.jscomp.ThreadSafeDelegatingErrorManager

com.google.javascript.jscomp.VerifyingErrorManager

All Implemented Interfaces:

ErrorHandler, ErrorManager

public final class VerifyingErrorManager
extends ThreadSafeDelegatingErrorManager

An ErrorManager that verifies expected diagnostics and reports missing or unexpected ones.

It wraps a delegate ErrorManager. Expected diagnostics (passed as regexes) are swallowed if matched. Unexpected diagnostics are passed to the delegate. At the end of compilation (when generateReport is called), any unmatched expectations are reported as errors to the delegate.

Constructor Summary

Constructors

Constructor	Description
VerifyingErrorManager(ErrorManager delegate, List<String> expectedDiagnostics)

Method Summary

Modifier and Type	Method	Description
void	generateReport()	Writes a report to an implementation-specific medium.
void	report(CheckLevel level, JSError error)	Reports an error.

Methods inherited from class com.google.javascript.jscomp.ThreadSafeDelegatingErrorManager

getErrorCount, getErrors, getTypedPercent, getWarningCount, getWarnings, hasHaltingErrors, setTypedPercent, shouldReportConformanceViolation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

VerifyingErrorManager

public VerifyingErrorManager(ErrorManager delegate,
 List<String> expectedDiagnostics)

Method Details

report

public void report(CheckLevel level,
 JSError error)

Description copied from interface: ErrorManager

Reports an error. The errors will be displayed by the ErrorManager.generateReport() at the discretion of the implementation.

Specified by:

report in interface ErrorHandler

Specified by:

report in interface ErrorManager

Overrides:

report in class ThreadSafeDelegatingErrorManager

Parameters:

level - the reporting level

error - the error to report

generateReport

public void generateReport()

Description copied from interface: ErrorManager

Writes a report to an implementation-specific medium. The compiler calls this method after any and all ErrorManager.report(com.google.javascript.jscomp.CheckLevel, com.google.javascript.jscomp.JSError) calls.

Specified by:

generateReport in interface ErrorManager

Overrides:

generateReport in class ThreadSafeDelegatingErrorManager