Function getDiagnostics

getDiagnostics(resource: Uri): Diagnostic[]
Get all diagnostics for a given resource. Note that this includes diagnostics from all extensions but not yet from the task framework.
Parameters
- resource: Uri
  A resource
Returns Diagnostic[]
An array of diagnostics objects or an empty array.
- Defined in packages/plugin/src/theia.d.ts:11575
getDiagnostics(): [Uri, Diagnostic[]][]
Get all diagnostics. Note that this includes diagnostics from all extensions but not yet from the task framework.

Returns [Uri, Diagnostic[]][]
An array of uri-diagnostics tuples or an empty array.
- Defined in packages/plugin/src/theia.d.ts:11583