public interface DiagnosticReporter
pushDiagnostics
is a server-initiated
message. Traditionally the diagnostics are collected and pushed whenever a
file is operated on, but there may be different events (for example a background
analytical process finishes) that may change the diagnostic information for a file.
Modifier and Type | Method and Description |
---|---|
Diagnostic.ReporterControl |
findDiagnosticControl(Lookup context,
FileObject file)
Returns a Control object appropriate for the context and the file.
|
@CheckForNull Diagnostic.ReporterControl findDiagnosticControl(@NullAllowed Lookup context, @NullAllowed FileObject file)
null
if no suitable LSP can be found.context
- the Optional. Context used to identify the LSP client. If null
,
the default Lookup will be used.file
- Optional. The file or folder whose diagnostic will be reported.