engine/elide.runtime.diag/MutableDiagnosticInfo

MutableDiagnosticInfo

interface MutableDiagnosticInfo : DiagnosticInfo

Diagnostic Information (Mutable)

Describes information supported by a Diagnostic; extended into mutable form where this type is used by builders. All properties on this object are rendered mutable (particularly for use by builders).

Inheritors

Properties

Link copied to clipboard
abstract override var advice: String?

Optional corrective action to take, if any

Link copied to clipboard
abstract override var id: String?

ID or class for this diagnostic type, if supported.

Link copied to clipboard
abstract override var lang: String?

Name of a guest language from which this diagnostic arose, if known.

Link copied to clipboard
abstract override var message: String?

Message associated with the diagnostic

Link copied to clipboard
abstract override var position: SourceLocation?

Position in the source for the diagnostic, if any

Link copied to clipboard
abstract override var reference: SourceReference?

Reference to the source file or snippet of the diagnostic, if any

Link copied to clipboard
abstract override var renderedMessage: String?

Optionally contains a pre-formatted version of the message

Link copied to clipboard
abstract override var severity: Severity

Describes the severity of the diagnostic

Link copied to clipboard
abstract override var source: String?

Refers to the original processed source code

Link copied to clipboard
abstract override var span: SourceSpan?

Source span for the diagnostic, if any

Link copied to clipboard
open val tool: String?

Name of the tool that generated the diagnostic, if known.