public static class Log.DeferredDiagnosticHandler extends Log.DiagnosticHandler
prev
Constructor and Description |
---|
DeferredDiagnosticHandler(Log log) |
DeferredDiagnosticHandler(Log log,
Filter<JCDiagnostic> filter) |
Modifier and Type | Method and Description |
---|---|
Queue<JCDiagnostic> |
getDiagnostics() |
void |
report(JCDiagnostic diag)
Handle a diagnostic.
|
void |
reportDeferredDiagnostics()
Report all deferred diagnostics.
|
void |
reportDeferredDiagnostics(Set<Diagnostic.Kind> kinds)
Report selected deferred diagnostics.
|
install
public DeferredDiagnosticHandler(Log log)
public DeferredDiagnosticHandler(Log log, Filter<JCDiagnostic> filter)
public void report(JCDiagnostic diag)
Log.DiagnosticHandler
report
in class Log.DiagnosticHandler
public Queue<JCDiagnostic> getDiagnostics()
public void reportDeferredDiagnostics()
public void reportDeferredDiagnostics(Set<Diagnostic.Kind> kinds)
Copyright © 2015. All rights reserved.