Merge branch 'master' into joh/celldocs

This commit is contained in:
Johannes Rieken
2020-08-12 09:48:06 +02:00
committed by GitHub

View File

@@ -885,6 +885,12 @@ export class Diagnostic {
tags?: DiagnosticTag[];
constructor(range: Range, message: string, severity: DiagnosticSeverity = DiagnosticSeverity.Error) {
if (!Range.isRange(range)) {
throw new TypeError('range must be set');
}
if (!message) {
throw new TypeError('message must be set');
}
this.range = range;
this.message = message;
this.severity = severity;