Diagnostic
data class Diagnostic(val severity: DiagnosticSeverity, val message: String, val range: TextRange? = null, val source: DiagnosticSource = DiagnosticSource("gui"), val code: String? = null)
One toolkit-neutral diagnostic (syntax error, solver warning, ...) shown against a document/page.
Constructors
Link copied to clipboard
constructor(severity: DiagnosticSeverity, message: String, range: TextRange? = null, source: DiagnosticSource = DiagnosticSource("gui"), code: String? = null)