{range: {start: {line: Int32, character: Int32}, end: {line: Int32, character: Int32}}, message: String, severity: Int32}