Codespan::Reporting::Diagnostic

new(severity : Severity, code : String | Nil = nil, message : String = "", labels : Array(Label) = [] of Label, notes : Array(String) = [] of String)

with_code(code) : Diagnostic

with_label(label : Label) : Diagnostic

with_labels(labels : Array(Label)) : Diagnostic

with_message(message) : Diagnostic

with_note(note) : Diagnostic

with_notes(notes : Array(String)) : Diagnostic