1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
use libslide::diagnostics as s;
use libslide::Span;
use tower_lsp::lsp_types::*;
pub fn convert_diagnostics(
diagnostics: &[s::Diagnostic],
provider: &str,
uri: &Url,
source: &str,
) -> Vec<Diagnostic> {
diagnostics
.iter()
.map(|diagnostic| Diagnostic {
range: to_range(&diagnostic.span, source),
severity: Some(to_severity(&diagnostic.kind)),
code: Some(NumberOrString::String(diagnostic.code.to_string())),
source: Some(provider.to_string()),
message: flatten_diagnostic_msg(diagnostic),
related_information: Some(flatten_related(diagnostic, uri, source)),
tags: None,
})
.collect()
}
fn flatten_diagnostic_msg(diagnostic: &s::Diagnostic) -> String {
match &diagnostic.msg {
Some(msg) => format!("{} \\ {}", diagnostic.title, msg),
None => diagnostic.title.to_string(),
}
}
fn flatten_related(
diagnostic: &s::Diagnostic,
uri: &Url,
source: &str,
) -> Vec<DiagnosticRelatedInformation> {
diagnostic
.associated_diagnostics
.iter()
.chain(diagnostic.unspanned_associated_diagnostics.iter())
.map(|ad| DiagnosticRelatedInformation {
location: Location::new(uri.clone(), to_range(&ad.span, source)),
message: ad.msg.to_string(),
})
.collect()
}
fn to_severity(diagnostic_kind: &s::DiagnosticKind) -> DiagnosticSeverity {
match diagnostic_kind {
s::DiagnosticKind::Error => DiagnosticSeverity::Error,
s::DiagnosticKind::Warning => DiagnosticSeverity::Warning,
s::DiagnosticKind::Note => DiagnosticSeverity::Information,
s::DiagnosticKind::Help => DiagnosticSeverity::Hint,
}
}
pub fn to_range(span: &Span, source: &str) -> Range {
Range::new(to_position(span.lo, source), to_position(span.hi, source))
}
pub fn to_position(offset: usize, source: &str) -> Position {
let mut cur = 0;
for (i, line) in source.split_terminator('\n').enumerate() {
if cur + line.len() + 1 > offset {
return Position::new(i as u64, (offset - cur) as u64);
}
cur += line.len() + 1;
}
Position::new(source.lines().count() as u64, 0)
}
pub fn to_offset(position: &Position, source: &str) -> usize {
source
.split_terminator('\n')
.take(position.line as usize)
.fold(0, |acc, line| acc + line.len() + 1)
+ position.character as usize
}