DiagnosticInfo

interface DiagnosticInfo

Diagnostic Information

Describes information supported by a Diagnostic; extended into mutable form where this type is used by builders.

Inheritors

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
open val advice: String?

Optional corrective action to take, if any

Link copied to clipboard
open val id: String?

ID or class for this diagnostic type, if supported.

Link copied to clipboard
open val lang: String?

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

Link copied to clipboard
open val message: String?

Message associated with the diagnostic

Link copied to clipboard

Position in the source for the diagnostic, if any

Link copied to clipboard

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

Link copied to clipboard

Optionally contains a pre-formatted version of the message

Link copied to clipboard
abstract val severity: Severity

Describes the severity of the diagnostic

Link copied to clipboard
open val source: String?

Refers to the original processed source code

Link copied to clipboard
open val 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.