Diagnostic¶

interface val Diagnostic

Public Functions¶

fun val range()
: Range val

fun val severity()
: (DiagnosticError val | DiagnosticWarning val | DiagnosticInformation val | 
    DiagnosticHint val | None val)

fun val code()
: (I128 val | String val | None val)

fun val codeDescription()
: (CodeDescription val | None val)

fun val source()
: (String val | None val)

fun val message()
: String val

fun val tags()
: (Array[(DiagnosticTagUnnecessary val | DiagnosticTagDeprecated val)] val | None val)

fun val relatedInformation()
: (Array[DiagnosticRelatedInformation val] val | None val)

fun val data()
: (Object box | Sequence box | String box | 
    I128 val | F64 val | Bool val | 
    Null val | None val)

(Object box | Sequence box | String box | I128 val | F64 val | Bool val | Null val | None val)

fun val get_json()
: (Object box | Sequence box | String box | 
    I128 val | F64 val | Bool val | 
    Null val)

(Object box | Sequence box | String box | I128 val | F64 val | Bool val | Null val)