engine/elide.runtime.diag/Diagnostics

Diagnostics

data object Diagnostics : DiagnosticsReceiver, DiagnosticsBuffer

Diagnostics

Provides static utility methods for working with Diagnostic and MutableDiagnostic records, as well as native entrypoints for reporting to the diagnostics buffer.

Functions

all

open override fun all(): Sequence<DiagnosticInfo>

Return a sequence of all reported diagnostic info records for the lifetime of this buffer.

clear

open override fun clear()

Clear all held diagnostics.

open override fun close()

dirty

open override fun dirty(lang: String?): Boolean

Indicate whether this buffer has received diagnostics of type lang, or of any type if null is provided.

lock

open override fun lock()

Lock this diagnostics receiver from further modification; if not called by first read, will be called by first operation.

mutable

fun mutable(): MutableDiagnostic

Create an empty mutable diagnostic record.

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.

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.

report

open override fun report(diag: DiagnosticInfo)

Report a single diagnostic record to the receiver.

open override fun report(diags: Iterable<DiagnosticInfo>)

Report an iterable of diagnostic records to the receiver.

open override fun report(diags: Sequence<DiagnosticInfo>)

Report a sequence of diagnostic records to the receiver.

open override fun report(first: DiagnosticInfo, vararg rest: DiagnosticInfo)

Report one or more individual diagnostic record(s) to the receiver.