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
119
120
121
122
123
|
use std::{fs, sync::Arc};
use rayon::iter::{IntoParallelIterator, ParallelIterator};
use rustc_hash::FxHashSet;
use crate::{
Document, DocumentLanguage, OpenHandler, Uri, Workspace, WorkspaceSource, WorkspaceSubset,
};
pub struct ParentExpander<W> {
workspace: W,
}
impl<W: Workspace> ParentExpander<W> {
pub fn new(workspace: W) -> Self {
Self { workspace }
}
}
impl<W> Workspace for ParentExpander<W>
where
W: Workspace + Send + Sync + 'static,
{
fn open(
&self,
uri: Arc<Uri>,
text: String,
language: DocumentLanguage,
source: WorkspaceSource,
) -> Arc<Document> {
let document = self
.workspace
.open(Arc::clone(&uri), text, language, source);
let all_current_paths = self
.workspace
.documents()
.into_iter()
.filter_map(|doc| doc.uri.to_file_path().ok())
.collect::<FxHashSet<_>>();
if uri.scheme() == "file" {
if let Ok(mut path) = uri.to_file_path() {
while path.pop() && !self.has_parent(Arc::clone(&uri)).unwrap_or(false) {
let mut files = Vec::new();
fs::read_dir(&path)
.into_iter()
.flatten()
.filter_map(|entry| entry.ok())
.filter(|entry| entry.file_type().ok().filter(|ty| ty.is_file()).is_some())
.map(|entry| entry.path())
.filter(|path| {
matches!(
DocumentLanguage::by_path(&path),
Some(DocumentLanguage::Latex)
)
})
.filter(|path| !all_current_paths.contains(path))
.for_each(|path| {
files.push(path);
});
files.into_par_iter().for_each(|path| {
let _ = self.workspace.load(path);
});
}
}
}
document
}
fn register_open_handler(&self, handler: OpenHandler) {
self.workspace.register_open_handler(handler)
}
fn documents(&self) -> Vec<Arc<Document>> {
self.workspace.documents()
}
fn has(&self, uri: &Uri) -> bool {
self.workspace.has(uri)
}
fn get(&self, uri: &Uri) -> Option<Arc<Document>> {
self.workspace.get(uri)
}
fn close(&self, uri: &Uri) {
self.workspace.close(uri)
}
fn is_open(&self, uri: &Uri) -> bool {
self.workspace.is_open(uri)
}
fn subset(&self, uri: Arc<Uri>) -> Option<WorkspaceSubset> {
self.workspace.subset(uri)
}
}
impl<W> ParentExpander<W>
where
W: Workspace + Send + Sync + 'static,
{
fn has_parent(&self, uri: Arc<Uri>) -> Option<bool> {
let subset = self.subset(Arc::clone(&uri))?;
Some(subset.documents.iter().any(|document| {
document
.data
.as_latex()
.map(|data| {
data.extras.has_document_environment
&& !data
.extras
.explicit_links
.iter()
.filter_map(|link| link.as_component_name())
.any(|name| name == "subfiles.cls")
})
.unwrap_or(false)
}))
}
}
|