mirror of
https://github.com/rust-lang/rust-analyzer.git
synced 2025-09-28 12:54:58 +00:00
Remove LocalEdit usage
This commit is contained in:
parent
0c15deac76
commit
a656b891fb
3 changed files with 55 additions and 70 deletions
|
@ -72,7 +72,7 @@ pub use crate::{
|
||||||
folding_ranges::{Fold, FoldKind},
|
folding_ranges::{Fold, FoldKind},
|
||||||
};
|
};
|
||||||
pub use ra_ide_api_light::{
|
pub use ra_ide_api_light::{
|
||||||
HighlightedRange, Severity, StructureNode, LocalEdit,
|
HighlightedRange, Severity, StructureNode,
|
||||||
};
|
};
|
||||||
pub use ra_db::{
|
pub use ra_db::{
|
||||||
Canceled, CrateGraph, CrateId, FileId, FilePosition, FileRange, SourceRootId,
|
Canceled, CrateGraph, CrateId, FileId, FilePosition, FileRange, SourceRootId,
|
||||||
|
@ -295,9 +295,7 @@ impl Analysis {
|
||||||
/// Returns an edit which should be applied when opening a new line, fixing
|
/// Returns an edit which should be applied when opening a new line, fixing
|
||||||
/// up minor stuff like continuing the comment.
|
/// up minor stuff like continuing the comment.
|
||||||
pub fn on_enter(&self, position: FilePosition) -> Option<SourceChange> {
|
pub fn on_enter(&self, position: FilePosition) -> Option<SourceChange> {
|
||||||
let file = self.db.parse(position.file_id);
|
typing::on_enter(&self.db, position)
|
||||||
let edit = typing::on_enter(&file, position.offset)?;
|
|
||||||
Some(SourceChange::from_local_edit(position.file_id, edit))
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Returns an edit which should be applied after `=` was typed. Primarily,
|
/// Returns an edit which should be applied after `=` was typed. Primarily,
|
||||||
|
@ -306,14 +304,17 @@ impl Analysis {
|
||||||
pub fn on_eq_typed(&self, position: FilePosition) -> Option<SourceChange> {
|
pub fn on_eq_typed(&self, position: FilePosition) -> Option<SourceChange> {
|
||||||
let file = self.db.parse(position.file_id);
|
let file = self.db.parse(position.file_id);
|
||||||
let edit = typing::on_eq_typed(&file, position.offset)?;
|
let edit = typing::on_eq_typed(&file, position.offset)?;
|
||||||
Some(SourceChange::from_local_edit(position.file_id, edit))
|
Some(SourceChange {
|
||||||
|
label: "add semicolon".to_string(),
|
||||||
|
source_file_edits: vec![SourceFileEdit { edit, file_id: position.file_id }],
|
||||||
|
file_system_edits: vec![],
|
||||||
|
cursor_position: None,
|
||||||
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Returns an edit which should be applied when a dot ('.') is typed on a blank line, indenting the line appropriately.
|
/// Returns an edit which should be applied when a dot ('.') is typed on a blank line, indenting the line appropriately.
|
||||||
pub fn on_dot_typed(&self, position: FilePosition) -> Option<SourceChange> {
|
pub fn on_dot_typed(&self, position: FilePosition) -> Option<SourceChange> {
|
||||||
let file = self.db.parse(position.file_id);
|
typing::on_dot_typed(&self.db, position)
|
||||||
let edit = typing::on_dot_typed(&file, position.offset)?;
|
|
||||||
Some(SourceChange::from_local_edit(position.file_id, edit))
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Returns a tree representation of symbols in the file. Useful to draw a
|
/// Returns a tree representation of symbols in the file. Useful to draw a
|
||||||
|
@ -435,18 +436,6 @@ impl Analysis {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl SourceChange {
|
|
||||||
pub(crate) fn from_local_edit(file_id: FileId, edit: LocalEdit) -> SourceChange {
|
|
||||||
let file_edit = SourceFileEdit { file_id, edit: edit.edit };
|
|
||||||
SourceChange {
|
|
||||||
label: edit.label,
|
|
||||||
source_file_edits: vec![file_edit],
|
|
||||||
file_system_edits: vec![],
|
|
||||||
cursor_position: edit.cursor_position.map(|offset| FilePosition { offset, file_id }),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn analysis_is_send() {
|
fn analysis_is_send() {
|
||||||
fn is_send<T: Send>() {}
|
fn is_send<T: Send>() {}
|
||||||
|
|
|
@ -5,31 +5,37 @@ use ra_syntax::{
|
||||||
ast::{self, AstToken},
|
ast::{self, AstToken},
|
||||||
};
|
};
|
||||||
use ra_fmt::leading_indent;
|
use ra_fmt::leading_indent;
|
||||||
use crate::LocalEdit;
|
use ra_text_edit::{TextEdit, TextEditBuilder};
|
||||||
use ra_text_edit::TextEditBuilder;
|
use ra_db::{FilePosition, SourceDatabase};
|
||||||
|
use crate::{db::RootDatabase, SourceChange, SourceFileEdit};
|
||||||
|
|
||||||
pub fn on_enter(file: &SourceFile, offset: TextUnit) -> Option<LocalEdit> {
|
pub(crate) fn on_enter(db: &RootDatabase, position: FilePosition) -> Option<SourceChange> {
|
||||||
let comment =
|
let file = db.parse(position.file_id);
|
||||||
find_leaf_at_offset(file.syntax(), offset).left_biased().and_then(ast::Comment::cast)?;
|
let comment = find_leaf_at_offset(file.syntax(), position.offset)
|
||||||
|
.left_biased()
|
||||||
|
.and_then(ast::Comment::cast)?;
|
||||||
|
|
||||||
if let ast::CommentFlavor::Multiline = comment.flavor() {
|
if let ast::CommentFlavor::Multiline = comment.flavor() {
|
||||||
return None;
|
return None;
|
||||||
}
|
}
|
||||||
|
|
||||||
let prefix = comment.prefix();
|
let prefix = comment.prefix();
|
||||||
if offset < comment.syntax().range().start() + TextUnit::of_str(prefix) + TextUnit::from(1) {
|
if position.offset
|
||||||
|
< comment.syntax().range().start() + TextUnit::of_str(prefix) + TextUnit::from(1)
|
||||||
|
{
|
||||||
return None;
|
return None;
|
||||||
}
|
}
|
||||||
|
|
||||||
let indent = node_indent(file, comment.syntax())?;
|
let indent = node_indent(&file, comment.syntax())?;
|
||||||
let inserted = format!("\n{}{} ", indent, prefix);
|
let inserted = format!("\n{}{} ", indent, prefix);
|
||||||
let cursor_position = offset + TextUnit::of_str(&inserted);
|
let cursor_position = position.offset + TextUnit::of_str(&inserted);
|
||||||
let mut edit = TextEditBuilder::default();
|
let mut edit = TextEditBuilder::default();
|
||||||
edit.insert(offset, inserted);
|
edit.insert(position.offset, inserted);
|
||||||
Some(LocalEdit {
|
Some(SourceChange {
|
||||||
label: "on enter".to_string(),
|
label: "on enter".to_string(),
|
||||||
edit: edit.finish(),
|
source_file_edits: vec![SourceFileEdit { edit: edit.finish(), file_id: position.file_id }],
|
||||||
cursor_position: Some(cursor_position),
|
file_system_edits: vec![],
|
||||||
|
cursor_position: Some(FilePosition { offset: cursor_position, file_id: position.file_id }),
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -53,7 +59,7 @@ fn node_indent<'a>(file: &'a SourceFile, node: &SyntaxNode) -> Option<&'a str> {
|
||||||
Some(&text[pos..])
|
Some(&text[pos..])
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn on_eq_typed(file: &SourceFile, eq_offset: TextUnit) -> Option<LocalEdit> {
|
pub fn on_eq_typed(file: &SourceFile, eq_offset: TextUnit) -> Option<TextEdit> {
|
||||||
assert_eq!(file.syntax().text().char_at(eq_offset), Some('='));
|
assert_eq!(file.syntax().text().char_at(eq_offset), Some('='));
|
||||||
let let_stmt: &ast::LetStmt = find_node_at_offset(file.syntax(), eq_offset)?;
|
let let_stmt: &ast::LetStmt = find_node_at_offset(file.syntax(), eq_offset)?;
|
||||||
if let_stmt.has_semi() {
|
if let_stmt.has_semi() {
|
||||||
|
@ -73,17 +79,14 @@ pub fn on_eq_typed(file: &SourceFile, eq_offset: TextUnit) -> Option<LocalEdit>
|
||||||
let offset = let_stmt.syntax().range().end();
|
let offset = let_stmt.syntax().range().end();
|
||||||
let mut edit = TextEditBuilder::default();
|
let mut edit = TextEditBuilder::default();
|
||||||
edit.insert(offset, ";".to_string());
|
edit.insert(offset, ";".to_string());
|
||||||
Some(LocalEdit {
|
Some(edit.finish())
|
||||||
label: "add semicolon".to_string(),
|
|
||||||
edit: edit.finish(),
|
|
||||||
cursor_position: None,
|
|
||||||
})
|
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn on_dot_typed(file: &SourceFile, dot_offset: TextUnit) -> Option<LocalEdit> {
|
pub(crate) fn on_dot_typed(db: &RootDatabase, position: FilePosition) -> Option<SourceChange> {
|
||||||
assert_eq!(file.syntax().text().char_at(dot_offset), Some('.'));
|
let file = db.parse(position.file_id);
|
||||||
|
assert_eq!(file.syntax().text().char_at(position.offset), Some('.'));
|
||||||
|
|
||||||
let whitespace = find_leaf_at_offset(file.syntax(), dot_offset)
|
let whitespace = find_leaf_at_offset(file.syntax(), position.offset)
|
||||||
.left_biased()
|
.left_biased()
|
||||||
.and_then(ast::Whitespace::cast)?;
|
.and_then(ast::Whitespace::cast)?;
|
||||||
|
|
||||||
|
@ -104,15 +107,18 @@ pub fn on_dot_typed(file: &SourceFile, dot_offset: TextUnit) -> Option<LocalEdit
|
||||||
}
|
}
|
||||||
let mut edit = TextEditBuilder::default();
|
let mut edit = TextEditBuilder::default();
|
||||||
edit.replace(
|
edit.replace(
|
||||||
TextRange::from_to(dot_offset - current_indent_len, dot_offset),
|
TextRange::from_to(position.offset - current_indent_len, position.offset),
|
||||||
target_indent.into(),
|
target_indent.into(),
|
||||||
);
|
);
|
||||||
let res = LocalEdit {
|
let res = SourceChange {
|
||||||
label: "reindent dot".to_string(),
|
label: "reindent dot".to_string(),
|
||||||
edit: edit.finish(),
|
source_file_edits: vec![SourceFileEdit { edit: edit.finish(), file_id: position.file_id }],
|
||||||
cursor_position: Some(
|
file_system_edits: vec![],
|
||||||
dot_offset + target_indent_len - current_indent_len + TextUnit::of_char('.'),
|
cursor_position: Some(FilePosition {
|
||||||
),
|
offset: position.offset + target_indent_len - current_indent_len
|
||||||
|
+ TextUnit::of_char('.'),
|
||||||
|
file_id: position.file_id,
|
||||||
|
}),
|
||||||
};
|
};
|
||||||
Some(res)
|
Some(res)
|
||||||
}
|
}
|
||||||
|
@ -121,6 +127,8 @@ pub fn on_dot_typed(file: &SourceFile, dot_offset: TextUnit) -> Option<LocalEdit
|
||||||
mod tests {
|
mod tests {
|
||||||
use test_utils::{add_cursor, assert_eq_text, extract_offset};
|
use test_utils::{add_cursor, assert_eq_text, extract_offset};
|
||||||
|
|
||||||
|
use crate::mock_analysis::single_file;
|
||||||
|
|
||||||
use super::*;
|
use super::*;
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
|
@ -132,7 +140,7 @@ mod tests {
|
||||||
let before = edit.finish().apply(&before);
|
let before = edit.finish().apply(&before);
|
||||||
let file = SourceFile::parse(&before);
|
let file = SourceFile::parse(&before);
|
||||||
if let Some(result) = on_eq_typed(&file, offset) {
|
if let Some(result) = on_eq_typed(&file, offset) {
|
||||||
let actual = result.edit.apply(&before);
|
let actual = result.apply(&before);
|
||||||
assert_eq_text!(after, &actual);
|
assert_eq_text!(after, &actual);
|
||||||
} else {
|
} else {
|
||||||
assert_eq_text!(&before, after)
|
assert_eq_text!(&before, after)
|
||||||
|
@ -178,9 +186,10 @@ fn foo() {
|
||||||
let mut edit = TextEditBuilder::default();
|
let mut edit = TextEditBuilder::default();
|
||||||
edit.insert(offset, ".".to_string());
|
edit.insert(offset, ".".to_string());
|
||||||
let before = edit.finish().apply(&before);
|
let before = edit.finish().apply(&before);
|
||||||
let file = SourceFile::parse(&before);
|
let (analysis, file_id) = single_file(&before);
|
||||||
if let Some(result) = on_dot_typed(&file, offset) {
|
if let Some(result) = analysis.on_dot_typed(FilePosition { offset, file_id }) {
|
||||||
let actual = result.edit.apply(&before);
|
assert_eq!(result.source_file_edits.len(), 1);
|
||||||
|
let actual = result.source_file_edits[0].edit.apply(&before);
|
||||||
assert_eq_text!(after, &actual);
|
assert_eq_text!(after, &actual);
|
||||||
} else {
|
} else {
|
||||||
assert_eq_text!(&before, after)
|
assert_eq_text!(&before, after)
|
||||||
|
@ -359,10 +368,12 @@ fn foo() {
|
||||||
fn test_on_enter() {
|
fn test_on_enter() {
|
||||||
fn apply_on_enter(before: &str) -> Option<String> {
|
fn apply_on_enter(before: &str) -> Option<String> {
|
||||||
let (offset, before) = extract_offset(before);
|
let (offset, before) = extract_offset(before);
|
||||||
let file = SourceFile::parse(&before);
|
let (analysis, file_id) = single_file(&before);
|
||||||
let result = on_enter(&file, offset)?;
|
let result = analysis.on_enter(FilePosition { offset, file_id })?;
|
||||||
let actual = result.edit.apply(&before);
|
|
||||||
let actual = add_cursor(&actual, result.cursor_position.unwrap());
|
assert_eq!(result.source_file_edits.len(), 1);
|
||||||
|
let actual = result.source_file_edits[0].edit.apply(&before);
|
||||||
|
let actual = add_cursor(&actual, result.cursor_position.unwrap().offset);
|
||||||
Some(actual)
|
Some(actual)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -17,13 +17,6 @@ pub use crate::{
|
||||||
structure::{file_structure, StructureNode},
|
structure::{file_structure, StructureNode},
|
||||||
};
|
};
|
||||||
|
|
||||||
#[derive(Debug)]
|
|
||||||
pub struct LocalEdit {
|
|
||||||
pub label: String,
|
|
||||||
pub edit: ra_text_edit::TextEdit,
|
|
||||||
pub cursor_position: Option<TextUnit>,
|
|
||||||
}
|
|
||||||
|
|
||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
pub struct HighlightedRange {
|
pub struct HighlightedRange {
|
||||||
pub range: TextRange,
|
pub range: TextRange,
|
||||||
|
@ -36,14 +29,6 @@ pub enum Severity {
|
||||||
WeakWarning,
|
WeakWarning,
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug)]
|
|
||||||
pub struct Diagnostic {
|
|
||||||
pub range: TextRange,
|
|
||||||
pub msg: String,
|
|
||||||
pub severity: Severity,
|
|
||||||
pub fix: Option<LocalEdit>,
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn matching_brace(file: &SourceFile, offset: TextUnit) -> Option<TextUnit> {
|
pub fn matching_brace(file: &SourceFile, offset: TextUnit) -> Option<TextUnit> {
|
||||||
const BRACES: &[SyntaxKind] =
|
const BRACES: &[SyntaxKind] =
|
||||||
&[L_CURLY, R_CURLY, L_BRACK, R_BRACK, L_PAREN, R_PAREN, L_ANGLE, R_ANGLE];
|
&[L_CURLY, R_CURLY, L_BRACK, R_BRACK, L_PAREN, R_PAREN, L_ANGLE, R_ANGLE];
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue