engine/elide.runtime.diag/DiagnosticsContainer/query

query

open override fun query(consume: Boolean, criteria: Predicate<DiagnosticInfo>): Sequence<DiagnosticInfo>

Return a sequence of all reported diagnostic info records for the lifetime of this buffer that match the given criteria.

Return

Sequence of all diagnostic info records that match the given criteria

Parameters

consume

Whether to consume the diagnostics after querying.

criteria

Predicate to match against diagnostic info records.

open override fun query(lang: String, tool: String?, consume: Boolean): Sequence<DiagnosticInfo>

Return a sequence of all reported diagnostic info records for the lifetime of this buffer that match the given language and/or tool.

Return

Sequence of all diagnostic info records that match the given language and tool

Parameters

lang

Language of the diagnostics.

tool

Tool that reported the diagnostics; if null, all tools are considered.

consume

Whether to consume the diagnostics after querying.