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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
use base_db::{deps::Project, util::filter_regex_patterns, Document, Owner, Workspace};
use multimap::MultiMap;
use rustc_hash::{FxHashMap, FxHashSet};
use url::Url;
use crate::types::Diagnostic;
/// Manages all diagnostics for a workspace.
#[derive(Debug, Default)]
pub struct Manager {
grammar: MultiMap<Url, Diagnostic>,
chktex: FxHashMap<Url, Vec<Diagnostic>>,
build_log: FxHashMap<Url, MultiMap<Url, Diagnostic>>,
}
impl Manager {
/// Updates the syntax-based diagnostics for the given document.
pub fn update_syntax(&mut self, workspace: &Workspace, document: &Document) {
if !Self::is_relevant(document) {
return;
}
self.grammar.remove(&document.uri);
super::grammar::tex::update(document, workspace.config(), &mut self.grammar);
super::grammar::bib::update(document, &mut self.grammar);
self.build_log.remove(&document.uri);
super::build_log::update(workspace, document, &mut self.build_log);
}
/// Updates the ChkTeX diagnostics for the given document.
pub fn update_chktex(&mut self, uri: Url, diagnostics: Vec<Diagnostic>) {
self.chktex.insert(uri, diagnostics);
}
/// Removes stale diagnostics for documents that are no longer part of the workspace.
pub fn cleanup(&mut self, workspace: &Workspace) {
let uris = workspace
.iter()
.map(|doc| &doc.uri)
.collect::<FxHashSet<_>>();
self.grammar.retain(|uri, _| uris.contains(uri));
self.chktex.retain(|uri, _| uris.contains(uri));
self.build_log.retain(|uri, _| uris.contains(uri));
}
/// Returns all filtered diagnostics for the given workspace.
pub fn get(&self, workspace: &Workspace) -> FxHashMap<Url, Vec<Diagnostic>> {
let mut results: FxHashMap<Url, Vec<Diagnostic>> = FxHashMap::default();
for (uri, diagnostics) in &self.grammar {
results
.entry(uri.clone())
.or_default()
.extend(diagnostics.iter().cloned());
}
for (uri, diagnostics) in self.build_log.values().flatten() {
results
.entry(uri.clone())
.or_default()
.extend(diagnostics.iter().cloned());
}
for (uri, diagnostics) in &self.chktex {
if workspace
.lookup(uri)
.map_or(false, |document| document.owner == Owner::Client)
{
results
.entry(uri.clone())
.or_default()
.extend(diagnostics.iter().cloned());
}
}
for document in workspace
.iter()
.filter(|document| Self::is_relevant(document))
{
let project = Project::from_child(workspace, document);
super::citations::detect_undefined_citations(&project, document, &mut results);
super::citations::detect_unused_entries(&project, document, &mut results);
}
super::citations::detect_duplicate_entries(workspace, &mut results);
super::labels::detect_duplicate_labels(workspace, &mut results);
super::labels::detect_undefined_and_unused_labels(workspace, &mut results);
let config = &workspace.config().diagnostics;
results.retain(|uri, _| {
workspace
.lookup(uri)
.map_or(false, |document| Self::is_relevant(document))
});
for (_, diagnostics) in &mut results {
diagnostics.retain(|diagnostic| {
filter_regex_patterns(
&diagnostic.message(),
&config.allowed_patterns,
&config.ignored_patterns,
)
});
}
results
}
fn is_relevant(document: &Document) -> bool {
match document.owner {
Owner::Client => true,
Owner::Server => true,
Owner::Distro => false,
}
}
}
|
