aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_ide/src/mock_analysis.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_ide/src/mock_analysis.rs')
-rw-r--r--crates/ra_ide/src/mock_analysis.rs190
1 files changed, 54 insertions, 136 deletions
diff --git a/crates/ra_ide/src/mock_analysis.rs b/crates/ra_ide/src/mock_analysis.rs
index ad78d2d93..889b84c59 100644
--- a/crates/ra_ide/src/mock_analysis.rs
+++ b/crates/ra_ide/src/mock_analysis.rs
@@ -1,87 +1,22 @@
1//! FIXME: write short doc here 1//! FIXME: write short doc here
2
3use std::str::FromStr;
4use std::sync::Arc; 2use std::sync::Arc;
5 3
6use ra_cfg::CfgOptions; 4use ra_cfg::CfgOptions;
7use ra_db::{CrateName, Env, RelativePathBuf}; 5use ra_db::{CrateName, Env, FileSet, SourceRoot, VfsPath};
8use test_utils::{extract_offset, extract_range, parse_fixture, FixtureEntry, CURSOR_MARKER}; 6use test_utils::{extract_range_or_offset, Fixture, RangeOrOffset, CURSOR_MARKER};
9 7
10use crate::{ 8use crate::{
11 Analysis, AnalysisChange, AnalysisHost, CrateGraph, Edition, FileId, FilePosition, FileRange, 9 Analysis, AnalysisChange, AnalysisHost, CrateGraph, Edition, FileId, FilePosition, FileRange,
12 SourceRootId,
13}; 10};
14 11
15#[derive(Debug)]
16enum MockFileData {
17 Plain { path: String, content: String },
18 Fixture(FixtureEntry),
19}
20
21impl MockFileData {
22 fn new(path: String, content: String) -> Self {
23 // `Self::Plain` causes a false warning: 'variant is never constructed: `Plain` '
24 // see https://github.com/rust-lang/rust/issues/69018
25 MockFileData::Plain { path, content }
26 }
27
28 fn path(&self) -> &str {
29 match self {
30 MockFileData::Plain { path, .. } => path.as_str(),
31 MockFileData::Fixture(f) => f.meta.path().as_str(),
32 }
33 }
34
35 fn content(&self) -> &str {
36 match self {
37 MockFileData::Plain { content, .. } => content,
38 MockFileData::Fixture(f) => f.text.as_str(),
39 }
40 }
41
42 fn cfg_options(&self) -> CfgOptions {
43 match self {
44 MockFileData::Fixture(f) => {
45 f.meta.cfg_options().map_or_else(Default::default, |o| o.clone())
46 }
47 _ => CfgOptions::default(),
48 }
49 }
50
51 fn edition(&self) -> Edition {
52 match self {
53 MockFileData::Fixture(f) => {
54 f.meta.edition().map_or(Edition::Edition2018, |v| Edition::from_str(v).unwrap())
55 }
56 _ => Edition::Edition2018,
57 }
58 }
59
60 fn env(&self) -> Env {
61 match self {
62 MockFileData::Fixture(f) => Env::from(f.meta.env()),
63 _ => Env::default(),
64 }
65 }
66}
67
68impl From<FixtureEntry> for MockFileData {
69 fn from(fixture: FixtureEntry) -> Self {
70 Self::Fixture(fixture)
71 }
72}
73
74/// Mock analysis is used in test to bootstrap an AnalysisHost/Analysis 12/// Mock analysis is used in test to bootstrap an AnalysisHost/Analysis
75/// from a set of in-memory files. 13/// from a set of in-memory files.
76#[derive(Debug, Default)] 14#[derive(Debug, Default)]
77pub struct MockAnalysis { 15pub struct MockAnalysis {
78 files: Vec<MockFileData>, 16 files: Vec<Fixture>,
79} 17}
80 18
81impl MockAnalysis { 19impl MockAnalysis {
82 pub fn new() -> MockAnalysis {
83 MockAnalysis::default()
84 }
85 /// Creates `MockAnalysis` using a fixture data in the following format: 20 /// Creates `MockAnalysis` using a fixture data in the following format:
86 /// 21 ///
87 /// ```not_rust 22 /// ```not_rust
@@ -92,106 +27,93 @@ impl MockAnalysis {
92 /// //- /foo.rs 27 /// //- /foo.rs
93 /// struct Baz; 28 /// struct Baz;
94 /// ``` 29 /// ```
95 pub fn with_files(fixture: &str) -> MockAnalysis { 30 pub fn with_files(ra_fixture: &str) -> MockAnalysis {
96 let mut res = MockAnalysis::new(); 31 let (res, pos) = MockAnalysis::with_fixture(ra_fixture);
97 for entry in parse_fixture(fixture) { 32 assert!(pos.is_none());
98 res.add_file_fixture(entry);
99 }
100 res 33 res
101 } 34 }
102 35
103 /// Same as `with_files`, but requires that a single file contains a `<|>` marker, 36 /// Same as `with_files`, but requires that a single file contains a `<|>` marker,
104 /// whose position is also returned. 37 /// whose position is also returned.
105 pub fn with_files_and_position(fixture: &str) -> (MockAnalysis, FilePosition) { 38 pub fn with_files_and_position(fixture: &str) -> (MockAnalysis, FilePosition) {
39 let (res, position) = MockAnalysis::with_fixture(fixture);
40 let (file_id, range_or_offset) = position.expect("expected a marker (<|>)");
41 let offset = match range_or_offset {
42 RangeOrOffset::Range(_) => panic!(),
43 RangeOrOffset::Offset(it) => it,
44 };
45 (res, FilePosition { file_id, offset })
46 }
47
48 fn with_fixture(fixture: &str) -> (MockAnalysis, Option<(FileId, RangeOrOffset)>) {
106 let mut position = None; 49 let mut position = None;
107 let mut res = MockAnalysis::new(); 50 let mut res = MockAnalysis::default();
108 for entry in parse_fixture(fixture) { 51 for mut entry in Fixture::parse(fixture) {
109 if entry.text.contains(CURSOR_MARKER) { 52 if entry.text.contains(CURSOR_MARKER) {
110 assert!(position.is_none(), "only one marker (<|>) per fixture is allowed"); 53 assert!(position.is_none(), "only one marker (<|>) per fixture is allowed");
111 position = Some(res.add_file_fixture_with_position(entry)); 54 let (range_or_offset, text) = extract_range_or_offset(&entry.text);
55 entry.text = text;
56 let file_id = res.add_file_fixture(entry);
57 position = Some((file_id, range_or_offset));
112 } else { 58 } else {
113 res.add_file_fixture(entry); 59 res.add_file_fixture(entry);
114 } 60 }
115 } 61 }
116 let position = position.expect("expected a marker (<|>)");
117 (res, position) 62 (res, position)
118 } 63 }
119 64
120 pub fn add_file_fixture(&mut self, fixture: FixtureEntry) -> FileId { 65 fn add_file_fixture(&mut self, fixture: Fixture) -> FileId {
121 let file_id = self.next_id(); 66 let file_id = FileId((self.files.len() + 1) as u32);
122 self.files.push(MockFileData::from(fixture)); 67 self.files.push(fixture);
123 file_id 68 file_id
124 } 69 }
125 70
126 pub fn add_file_fixture_with_position(&mut self, mut fixture: FixtureEntry) -> FilePosition {
127 let (offset, text) = extract_offset(&fixture.text);
128 fixture.text = text;
129 let file_id = self.next_id();
130 self.files.push(MockFileData::from(fixture));
131 FilePosition { file_id, offset }
132 }
133
134 pub fn add_file(&mut self, path: &str, text: &str) -> FileId {
135 let file_id = self.next_id();
136 self.files.push(MockFileData::new(path.to_string(), text.to_string()));
137 file_id
138 }
139 pub fn add_file_with_position(&mut self, path: &str, text: &str) -> FilePosition {
140 let (offset, text) = extract_offset(text);
141 let file_id = self.next_id();
142 self.files.push(MockFileData::new(path.to_string(), text));
143 FilePosition { file_id, offset }
144 }
145 pub fn add_file_with_range(&mut self, path: &str, text: &str) -> FileRange {
146 let (range, text) = extract_range(text);
147 let file_id = self.next_id();
148 self.files.push(MockFileData::new(path.to_string(), text));
149 FileRange { file_id, range }
150 }
151 pub fn id_of(&self, path: &str) -> FileId { 71 pub fn id_of(&self, path: &str) -> FileId {
152 let (idx, _) = self 72 let (idx, _) = self
153 .files 73 .files
154 .iter() 74 .iter()
155 .enumerate() 75 .enumerate()
156 .find(|(_, data)| path == data.path()) 76 .find(|(_, data)| path == data.path)
157 .expect("no file in this mock"); 77 .expect("no file in this mock");
158 FileId(idx as u32 + 1) 78 FileId(idx as u32 + 1)
159 } 79 }
160 pub fn analysis_host(self) -> AnalysisHost { 80 pub fn analysis_host(self) -> AnalysisHost {
161 let mut host = AnalysisHost::default(); 81 let mut host = AnalysisHost::default();
162 let source_root = SourceRootId(0);
163 let mut change = AnalysisChange::new(); 82 let mut change = AnalysisChange::new();
164 change.add_root(source_root, true); 83 let mut file_set = FileSet::default();
165 let mut crate_graph = CrateGraph::default(); 84 let mut crate_graph = CrateGraph::default();
166 let mut root_crate = None; 85 let mut root_crate = None;
167 for (i, data) in self.files.into_iter().enumerate() { 86 for (i, data) in self.files.into_iter().enumerate() {
168 let path = data.path(); 87 let path = data.path;
169 assert!(path.starts_with('/')); 88 assert!(path.starts_with('/'));
170 let path = RelativePathBuf::from_path(&path[1..]).unwrap(); 89
171 let cfg_options = data.cfg_options(); 90 let mut cfg = CfgOptions::default();
91 data.cfg_atoms.iter().for_each(|it| cfg.insert_atom(it.into()));
92 data.cfg_key_values.iter().for_each(|(k, v)| cfg.insert_key_value(k.into(), v.into()));
93 let edition: Edition =
94 data.edition.and_then(|it| it.parse().ok()).unwrap_or(Edition::Edition2018);
95
172 let file_id = FileId(i as u32 + 1); 96 let file_id = FileId(i as u32 + 1);
173 let edition = data.edition(); 97 let env = Env::from(data.env.iter());
174 let env = data.env();
175 if path == "/lib.rs" || path == "/main.rs" { 98 if path == "/lib.rs" || path == "/main.rs" {
176 root_crate = Some(crate_graph.add_crate_root( 99 root_crate = Some(crate_graph.add_crate_root(
177 file_id, 100 file_id,
178 edition, 101 edition,
179 None, 102 None,
180 cfg_options, 103 cfg,
181 env, 104 env,
182 Default::default(), 105 Default::default(),
183 Default::default(),
184 )); 106 ));
185 } else if path.ends_with("/lib.rs") { 107 } else if path.ends_with("/lib.rs") {
186 let crate_name = path.parent().unwrap().file_name().unwrap(); 108 let base = &path[..path.len() - "/lib.rs".len()];
109 let crate_name = &base[base.rfind('/').unwrap() + '/'.len_utf8()..];
187 let other_crate = crate_graph.add_crate_root( 110 let other_crate = crate_graph.add_crate_root(
188 file_id, 111 file_id,
189 edition, 112 edition,
190 Some(CrateName::new(crate_name).unwrap()), 113 Some(CrateName::new(crate_name).unwrap()),
191 cfg_options, 114 cfg,
192 env, 115 env,
193 Default::default(), 116 Default::default(),
194 Default::default(),
195 ); 117 );
196 if let Some(root_crate) = root_crate { 118 if let Some(root_crate) = root_crate {
197 crate_graph 119 crate_graph
@@ -199,19 +121,18 @@ impl MockAnalysis {
199 .unwrap(); 121 .unwrap();
200 } 122 }
201 } 123 }
202 change.add_file(source_root, file_id, path, Arc::new(data.content().to_owned())); 124 let path = VfsPath::new_virtual_path(path.to_string());
125 file_set.insert(file_id, path);
126 change.change_file(file_id, Some(Arc::new(data.text).to_owned()));
203 } 127 }
204 change.set_crate_graph(crate_graph); 128 change.set_crate_graph(crate_graph);
129 change.set_roots(vec![SourceRoot::new_local(file_set)]);
205 host.apply_change(change); 130 host.apply_change(change);
206 host 131 host
207 } 132 }
208 pub fn analysis(self) -> Analysis { 133 pub fn analysis(self) -> Analysis {
209 self.analysis_host().analysis() 134 self.analysis_host().analysis()
210 } 135 }
211
212 fn next_id(&self) -> FileId {
213 FileId((self.files.len() + 1) as u32)
214 }
215} 136}
216 137
217/// Creates analysis from a multi-file fixture, returns positions marked with <|>. 138/// Creates analysis from a multi-file fixture, returns positions marked with <|>.
@@ -222,21 +143,18 @@ pub fn analysis_and_position(ra_fixture: &str) -> (Analysis, FilePosition) {
222 143
223/// Creates analysis for a single file. 144/// Creates analysis for a single file.
224pub fn single_file(ra_fixture: &str) -> (Analysis, FileId) { 145pub fn single_file(ra_fixture: &str) -> (Analysis, FileId) {
225 let mut mock = MockAnalysis::new(); 146 let mock = MockAnalysis::with_files(ra_fixture);
226 let file_id = mock.add_file("/main.rs", ra_fixture); 147 let file_id = mock.id_of("/main.rs");
227 (mock.analysis(), file_id) 148 (mock.analysis(), file_id)
228} 149}
229 150
230/// Creates analysis for a single file, returns position marked with <|>.
231pub fn single_file_with_position(ra_fixture: &str) -> (Analysis, FilePosition) {
232 let mut mock = MockAnalysis::new();
233 let pos = mock.add_file_with_position("/main.rs", ra_fixture);
234 (mock.analysis(), pos)
235}
236
237/// Creates analysis for a single file, returns range marked with a pair of <|>. 151/// Creates analysis for a single file, returns range marked with a pair of <|>.
238pub fn single_file_with_range(ra_fixture: &str) -> (Analysis, FileRange) { 152pub fn analysis_and_range(ra_fixture: &str) -> (Analysis, FileRange) {
239 let mut mock = MockAnalysis::new(); 153 let (res, position) = MockAnalysis::with_fixture(ra_fixture);
240 let pos = mock.add_file_with_range("/main.rs", ra_fixture); 154 let (file_id, range_or_offset) = position.expect("expected a marker (<|>)");
241 (mock.analysis(), pos) 155 let range = match range_or_offset {
156 RangeOrOffset::Range(it) => it,
157 RangeOrOffset::Offset(_) => panic!(),
158 };
159 (res.analysis(), FileRange { file_id, range })
242} 160}