engine/elide.runtime.diag/DiagnosticsReceiver

DiagnosticsReceiver

interface DiagnosticsReceiver : AutoCloseable, Closeable

Diagnostics Receiver

Receives diagnostics emitted from a compiler, tool, or other developer-oriented non-runtime step; diagnostics model such concepts as compiler warnings, linter notices, and so on. Diagnostics are received in several ways: for JVM, diagnostics can be reported to any DiagnosticsReceiver-compliant instance. For native code, a singleton static instance of DiagnosticsReceiver is provided at Diagnostics.

In all cases, the receiver buffers diagnostics for later querying, with a hook being made available to indicate that no diagnostics will be consumed past a certain point.

Inheritors

Functions

Link copied to clipboard
abstract fun close()
Link copied to clipboard
abstract fun lock()

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

Link copied to clipboard
abstract fun report(diag: DiagnosticInfo)

Report a single diagnostic record to the receiver.

abstract fun report(diags: Iterable<DiagnosticInfo>)

Report an iterable of diagnostic records to the receiver.

abstract fun report(diags: Sequence<DiagnosticInfo>)

Report a sequence of diagnostic records to the receiver.

abstract fun report(first: DiagnosticInfo, vararg rest: DiagnosticInfo)

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