4 use ide_db::base_db::{fixture::WithFixture, FileId, FileRange, SourceDatabaseExt};
5 use ide_db::source_change::FileSystemEdit;
6 use ide_db::RootDatabase;
8 use test_utils::{assert_eq_text, extract_offset, extract_range};
10 use crate::{handlers::Handler, Assist, AssistConfig, AssistContext, AssistKind, Assists};
11 use stdx::{format_to, trim_indent};
13 pub(crate) fn with_single_file(text: &str) -> (RootDatabase, FileId) {
14 RootDatabase::with_single_file(text)
17 pub(crate) fn check_assist(assist: Handler, ra_fixture_before: &str, ra_fixture_after: &str) {
18 let ra_fixture_after = trim_indent(ra_fixture_after);
19 check(assist, ra_fixture_before, ExpectedResult::After(&ra_fixture_after), None);
22 // There is no way to choose what assist within a group you want to test against,
23 // so this is here to allow you choose.
24 pub(crate) fn check_assist_by_label(
26 ra_fixture_before: &str,
27 ra_fixture_after: &str,
30 let ra_fixture_after = trim_indent(ra_fixture_after);
31 check(assist, ra_fixture_before, ExpectedResult::After(&ra_fixture_after), Some(label));
34 // FIXME: instead of having a separate function here, maybe use
35 // `extract_ranges` and mark the target as `<target> </target>` in the
37 pub(crate) fn check_assist_target(assist: Handler, ra_fixture: &str, target: &str) {
38 check(assist, ra_fixture, ExpectedResult::Target(target), None);
41 pub(crate) fn check_assist_not_applicable(assist: Handler, ra_fixture: &str) {
42 check(assist, ra_fixture, ExpectedResult::NotApplicable, None);
45 fn check_doc_test(assist_id: &str, before: &str, after: &str) {
46 let after = trim_indent(after);
47 let (db, file_id, selection) = RootDatabase::with_range_or_offset(&before);
48 let before = db.file_text(file_id).to_string();
49 let frange = FileRange { file_id, range: selection.into() };
51 let assist = Assist::resolved(&db, &AssistConfig::default(), frange)
53 .find(|assist| assist.assist.id.0 == assist_id)
56 "\n\nAssist is not applicable: {}\nAvailable assists: {}",
58 Assist::resolved(&db, &AssistConfig::default(), frange)
60 .map(|assist| assist.assist.id.0)
67 let mut actual = before;
68 for source_file_edit in assist.source_change.source_file_edits {
69 if source_file_edit.file_id == file_id {
70 source_file_edit.edit.apply(&mut actual)
75 assert_eq_text!(&after, &actual);
78 enum ExpectedResult<'a> {
84 fn check(handler: Handler, before: &str, expected: ExpectedResult, assist_label: Option<&str>) {
85 let (db, file_with_caret_id, range_or_offset) = RootDatabase::with_range_or_offset(before);
86 let text_without_caret = db.file_text(file_with_caret_id).to_string();
88 let frange = FileRange { file_id: file_with_caret_id, range: range_or_offset.into() };
90 let sema = Semantics::new(&db);
91 let config = AssistConfig::default();
92 let ctx = AssistContext::new(sema, &config, frange);
93 let mut acc = Assists::new_resolved(&ctx);
94 handler(&mut acc, &ctx);
95 let mut res = acc.finish_resolved();
97 let assist = match assist_label {
98 Some(label) => res.into_iter().find(|resolved| resolved.assist.label == label),
102 match (assist, expected) {
103 (Some(assist), ExpectedResult::After(after)) => {
104 let mut source_change = assist.source_change;
105 assert!(!source_change.source_file_edits.is_empty());
106 let skip_header = source_change.source_file_edits.len() == 1
107 && source_change.file_system_edits.len() == 0;
108 source_change.source_file_edits.sort_by_key(|it| it.file_id);
110 let mut created_file_ids = Vec::new();
111 let mut buf = String::new();
112 for file_system_edit in source_change.file_system_edits.clone() {
113 match file_system_edit {
114 FileSystemEdit::CreateFile { dst } => {
115 created_file_ids.push(dst.anchor);
121 for source_file_edit in source_change.source_file_edits {
122 if created_file_ids.contains(&source_file_edit.file_id) {
123 let target_dst = source_change
126 .find_map(|f| match f {
127 FileSystemEdit::CreateFile { dst } => {
128 if dst.anchor == source_file_edit.file_id {
137 format_to!(buf, "//- {}\n", target_dst);
138 let mut text = String::new();
139 source_file_edit.edit.apply(&mut text);
142 let mut text = db.file_text(source_file_edit.file_id).as_ref().to_owned();
143 source_file_edit.edit.apply(&mut text);
145 let sr = db.file_source_root(source_file_edit.file_id);
146 let sr = db.source_root(sr);
147 let path = sr.path_for_file(&source_file_edit.file_id).unwrap();
148 format_to!(buf, "//- {}\n", path)
154 assert_eq_text!(after, &buf);
156 (Some(assist), ExpectedResult::Target(target)) => {
157 let range = assist.assist.target;
158 assert_eq_text!(&text_without_caret[range], target);
160 (Some(_), ExpectedResult::NotApplicable) => panic!("assist should not be applicable!"),
161 (None, ExpectedResult::After(_)) | (None, ExpectedResult::Target(_)) => {
162 panic!("code action is not applicable")
164 (None, ExpectedResult::NotApplicable) => (),
169 fn assist_order_field_struct() {
170 let before = "struct Foo { <|>bar: u32 }";
171 let (before_cursor_pos, before) = extract_offset(before);
172 let (db, file_id) = with_single_file(&before);
173 let frange = FileRange { file_id, range: TextRange::empty(before_cursor_pos) };
174 let assists = Assist::resolved(&db, &AssistConfig::default(), frange);
175 let mut assists = assists.iter();
178 assists.next().expect("expected assist").assist.label,
179 "Change visibility to pub(crate)"
181 assert_eq!(assists.next().expect("expected assist").assist.label, "Add `#[derive]`");
185 fn assist_order_if_expr() {
187 pub fn test_some_range(a: int) -> bool {
188 if let 2..6 = <|>5<|> {
194 let (range, before) = extract_range(before);
195 let (db, file_id) = with_single_file(&before);
196 let frange = FileRange { file_id, range };
197 let assists = Assist::resolved(&db, &AssistConfig::default(), frange);
198 let mut assists = assists.iter();
200 assert_eq!(assists.next().expect("expected assist").assist.label, "Extract into variable");
201 assert_eq!(assists.next().expect("expected assist").assist.label, "Replace with match");
205 fn assist_filter_works() {
207 pub fn test_some_range(a: int) -> bool {
208 if let 2..6 = <|>5<|> {
214 let (range, before) = extract_range(before);
215 let (db, file_id) = with_single_file(&before);
216 let frange = FileRange { file_id, range };
219 let mut cfg = AssistConfig::default();
220 cfg.allowed = Some(vec![AssistKind::Refactor]);
222 let assists = Assist::resolved(&db, &cfg, frange);
223 let mut assists = assists.iter();
225 assert_eq!(assists.next().expect("expected assist").assist.label, "Extract into variable");
226 assert_eq!(assists.next().expect("expected assist").assist.label, "Replace with match");
230 let mut cfg = AssistConfig::default();
231 cfg.allowed = Some(vec![AssistKind::RefactorExtract]);
232 let assists = Assist::resolved(&db, &cfg, frange);
233 assert_eq!(assists.len(), 1);
235 let mut assists = assists.iter();
236 assert_eq!(assists.next().expect("expected assist").assist.label, "Extract into variable");
240 let mut cfg = AssistConfig::default();
241 cfg.allowed = Some(vec![AssistKind::QuickFix]);
242 let assists = Assist::resolved(&db, &cfg, frange);
243 assert!(assists.is_empty(), "All asserts but quickfixes should be filtered out");