engine/elide.runtime.diag/DiagnosticsBuffer

DiagnosticsBuffer

interface DiagnosticsBuffer : AutoCloseable, Closeable

Diagnostics Buffer

Provides the readable end of a DiagnosticsReceiver; supplies facilities for querying against diagnostics held from the receiver. In most cases, a receiver is also a buffer.

Inheritors

Functions

Link copied to clipboard
abstract fun all(): Sequence<DiagnosticInfo>

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

Link copied to clipboard
abstract fun clear()

Clear all held diagnostics.

Link copied to clipboard
abstract fun close()
Link copied to clipboard
abstract fun dirty(lang: String? = null): Boolean

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

Link copied to clipboard
abstract fun query(consume: Boolean = false, 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.

abstract fun query(lang: String, tool: String? = null, consume: Boolean = false): 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.