2019-10-27 04:04:06 -05:00
|
|
|
//! This module defines `AssistCtx` -- the API surface that is exposed to assists.
|
2020-02-18 11:35:10 -06:00
|
|
|
use hir::Semantics;
|
|
|
|
use ra_db::FileRange;
|
2019-07-04 15:05:17 -05:00
|
|
|
use ra_fmt::{leading_indent, reindent};
|
2020-02-06 09:53:42 -06:00
|
|
|
use ra_ide_db::RootDatabase;
|
2019-02-03 12:26:35 -06:00
|
|
|
use ra_syntax::{
|
2020-05-05 16:15:49 -05:00
|
|
|
algo::{self, find_covering_element, find_node_at_offset, SyntaxRewriter},
|
2020-04-24 16:40:41 -05:00
|
|
|
AstNode, SourceFile, SyntaxElement, SyntaxKind, SyntaxNode, SyntaxToken, TextRange, TextSize,
|
2019-07-21 05:28:58 -05:00
|
|
|
TokenAtOffset,
|
2019-02-03 12:26:35 -06:00
|
|
|
};
|
2019-07-04 15:05:17 -05:00
|
|
|
use ra_text_edit::TextEditBuilder;
|
2019-02-03 12:26:35 -06:00
|
|
|
|
2020-04-18 09:12:21 -05:00
|
|
|
use crate::{AssistAction, AssistFile, AssistId, AssistLabel, GroupLabel, ResolvedAssist};
|
2019-02-03 12:26:35 -06:00
|
|
|
|
2019-02-11 11:07:21 -06:00
|
|
|
#[derive(Clone, Debug)]
|
2020-02-09 08:32:53 -06:00
|
|
|
pub(crate) struct Assist(pub(crate) Vec<AssistInfo>);
|
|
|
|
|
|
|
|
#[derive(Clone, Debug)]
|
|
|
|
pub(crate) struct AssistInfo {
|
|
|
|
pub(crate) label: AssistLabel,
|
|
|
|
pub(crate) group_label: Option<GroupLabel>,
|
|
|
|
pub(crate) action: Option<AssistAction>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl AssistInfo {
|
|
|
|
fn new(label: AssistLabel) -> AssistInfo {
|
|
|
|
AssistInfo { label, group_label: None, action: None }
|
|
|
|
}
|
|
|
|
|
|
|
|
fn resolved(self, action: AssistAction) -> AssistInfo {
|
|
|
|
AssistInfo { action: Some(action), ..self }
|
|
|
|
}
|
|
|
|
|
|
|
|
fn with_group(self, group_label: GroupLabel) -> AssistInfo {
|
|
|
|
AssistInfo { group_label: Some(group_label), ..self }
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn into_resolved(self) -> Option<ResolvedAssist> {
|
|
|
|
let label = self.label;
|
2020-05-05 13:42:52 -05:00
|
|
|
self.action.map(|action| ResolvedAssist { label, action })
|
2020-02-09 08:32:53 -06:00
|
|
|
}
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
/// `AssistCtx` allows to apply an assist or check if it could be applied.
|
|
|
|
///
|
2019-02-08 15:43:13 -06:00
|
|
|
/// Assists use a somewhat over-engineered approach, given the current needs. The
|
2019-02-03 12:26:35 -06:00
|
|
|
/// assists workflow consists of two phases. In the first phase, a user asks for
|
|
|
|
/// the list of available assists. In the second phase, the user picks a
|
|
|
|
/// particular assist and it gets applied.
|
|
|
|
///
|
|
|
|
/// There are two peculiarities here:
|
|
|
|
///
|
|
|
|
/// * first, we ideally avoid computing more things then necessary to answer
|
|
|
|
/// "is assist applicable" in the first phase.
|
|
|
|
/// * second, when we are applying assist, we don't have a guarantee that there
|
|
|
|
/// weren't any changes between the point when user asked for assists and when
|
|
|
|
/// they applied a particular assist. So, when applying assist, we need to do
|
|
|
|
/// all the checks from scratch.
|
|
|
|
///
|
|
|
|
/// To avoid repeating the same code twice for both "check" and "apply"
|
|
|
|
/// functions, we use an approach reminiscent of that of Django's function based
|
|
|
|
/// views dealing with forms. Each assist receives a runtime parameter,
|
|
|
|
/// `should_compute_edit`. It first check if an edit is applicable (potentially
|
|
|
|
/// computing info required to compute the actual edit). If it is applicable,
|
|
|
|
/// and `should_compute_edit` is `true`, it then computes the actual edit.
|
|
|
|
///
|
|
|
|
/// So, to implement the original assists workflow, we can first apply each edit
|
|
|
|
/// with `should_compute_edit = false`, and then applying the selected edit
|
|
|
|
/// again, with `should_compute_edit = true` this time.
|
|
|
|
///
|
|
|
|
/// Note, however, that we don't actually use such two-phase logic at the
|
|
|
|
/// moment, because the LSP API is pretty awkward in this place, and it's much
|
2019-12-24 09:44:32 -06:00
|
|
|
/// easier to just compute the edit eagerly :-)
|
2020-02-18 11:35:10 -06:00
|
|
|
#[derive(Clone)]
|
2020-02-06 09:58:57 -06:00
|
|
|
pub(crate) struct AssistCtx<'a> {
|
2020-02-18 11:35:10 -06:00
|
|
|
pub(crate) sema: &'a Semantics<'a, RootDatabase>,
|
2020-02-06 09:58:57 -06:00
|
|
|
pub(crate) db: &'a RootDatabase,
|
2019-02-03 12:26:35 -06:00
|
|
|
pub(crate) frange: FileRange,
|
2019-07-19 03:24:41 -05:00
|
|
|
source_file: SourceFile,
|
2019-02-03 12:26:35 -06:00
|
|
|
should_compute_edit: bool,
|
|
|
|
}
|
|
|
|
|
2020-02-06 09:58:57 -06:00
|
|
|
impl<'a> AssistCtx<'a> {
|
2020-02-18 11:35:10 -06:00
|
|
|
pub fn new(
|
|
|
|
sema: &'a Semantics<'a, RootDatabase>,
|
|
|
|
frange: FileRange,
|
|
|
|
should_compute_edit: bool,
|
|
|
|
) -> AssistCtx<'a> {
|
|
|
|
let source_file = sema.parse(frange.file_id);
|
|
|
|
AssistCtx { sema, db: sema.db, frange, source_file, should_compute_edit }
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
|
|
|
|
2019-10-27 09:35:37 -05:00
|
|
|
pub(crate) fn add_assist(
|
2019-10-27 10:22:14 -05:00
|
|
|
self,
|
2019-02-24 04:53:35 -06:00
|
|
|
id: AssistId,
|
2019-02-03 12:26:35 -06:00
|
|
|
label: impl Into<String>,
|
2020-01-01 17:39:01 -06:00
|
|
|
f: impl FnOnce(&mut ActionBuilder),
|
2019-10-27 09:35:37 -05:00
|
|
|
) -> Option<Assist> {
|
2020-05-05 13:42:52 -05:00
|
|
|
let label = AssistLabel::new(id, label.into(), None);
|
2020-01-14 11:32:39 -06:00
|
|
|
|
2020-02-09 08:32:53 -06:00
|
|
|
let mut info = AssistInfo::new(label);
|
|
|
|
if self.should_compute_edit {
|
2019-10-27 10:22:14 -05:00
|
|
|
let action = {
|
2020-05-02 14:24:55 -05:00
|
|
|
let mut edit = ActionBuilder::new(&self);
|
2019-10-27 10:22:14 -05:00
|
|
|
f(&mut edit);
|
|
|
|
edit.build()
|
|
|
|
};
|
2020-02-09 08:32:53 -06:00
|
|
|
info = info.resolved(action)
|
2020-01-01 17:39:01 -06:00
|
|
|
};
|
|
|
|
|
2020-02-09 08:32:53 -06:00
|
|
|
Some(Assist(vec![info]))
|
2020-01-01 17:39:01 -06:00
|
|
|
}
|
|
|
|
|
2020-02-09 07:30:27 -06:00
|
|
|
pub(crate) fn add_assist_group(self, group_name: impl Into<String>) -> AssistGroup<'a> {
|
2020-05-05 13:34:45 -05:00
|
|
|
let group = GroupLabel(group_name.into());
|
|
|
|
AssistGroup { ctx: self, group, assists: Vec::new() }
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
|
|
|
|
2019-07-19 03:24:41 -05:00
|
|
|
pub(crate) fn token_at_offset(&self) -> TokenAtOffset<SyntaxToken> {
|
2019-07-21 05:28:58 -05:00
|
|
|
self.source_file.syntax().token_at_offset(self.frange.range.start())
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
|
|
|
|
2019-10-27 03:45:59 -05:00
|
|
|
pub(crate) fn find_token_at_offset(&self, kind: SyntaxKind) -> Option<SyntaxToken> {
|
|
|
|
self.token_at_offset().find(|it| it.kind() == kind)
|
|
|
|
}
|
|
|
|
|
2019-10-27 03:48:40 -05:00
|
|
|
pub(crate) fn find_node_at_offset<N: AstNode>(&self) -> Option<N> {
|
2019-02-03 12:26:35 -06:00
|
|
|
find_node_at_offset(self.source_file.syntax(), self.frange.range.start())
|
|
|
|
}
|
2020-05-02 14:24:55 -05:00
|
|
|
|
|
|
|
pub(crate) fn find_node_at_offset_with_descend<N: AstNode>(&self) -> Option<N> {
|
|
|
|
self.sema
|
|
|
|
.find_node_at_offset_with_descend(self.source_file.syntax(), self.frange.range.start())
|
|
|
|
}
|
|
|
|
|
2019-07-19 03:24:41 -05:00
|
|
|
pub(crate) fn covering_element(&self) -> SyntaxElement {
|
2019-03-30 05:25:53 -05:00
|
|
|
find_covering_element(self.source_file.syntax(), self.frange.range)
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
2019-07-19 03:24:41 -05:00
|
|
|
pub(crate) fn covering_node_for_range(&self, range: TextRange) -> SyntaxElement {
|
2019-03-25 12:02:06 -05:00
|
|
|
find_covering_element(self.source_file.syntax(), range)
|
|
|
|
}
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
|
|
|
|
2020-02-09 07:30:27 -06:00
|
|
|
pub(crate) struct AssistGroup<'a> {
|
|
|
|
ctx: AssistCtx<'a>,
|
2020-05-05 13:34:45 -05:00
|
|
|
group: GroupLabel,
|
2020-02-09 08:32:53 -06:00
|
|
|
assists: Vec<AssistInfo>,
|
2020-02-09 07:30:27 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> AssistGroup<'a> {
|
|
|
|
pub(crate) fn add_assist(
|
|
|
|
&mut self,
|
|
|
|
id: AssistId,
|
|
|
|
label: impl Into<String>,
|
|
|
|
f: impl FnOnce(&mut ActionBuilder),
|
|
|
|
) {
|
2020-05-05 13:42:52 -05:00
|
|
|
let label = AssistLabel::new(id, label.into(), Some(self.group.clone()));
|
2020-02-09 07:30:27 -06:00
|
|
|
|
2020-05-05 13:34:45 -05:00
|
|
|
let mut info = AssistInfo::new(label).with_group(self.group.clone());
|
2020-02-09 08:32:53 -06:00
|
|
|
if self.ctx.should_compute_edit {
|
2020-02-09 07:30:27 -06:00
|
|
|
let action = {
|
2020-05-02 14:24:55 -05:00
|
|
|
let mut edit = ActionBuilder::new(&self.ctx);
|
2020-02-09 07:30:27 -06:00
|
|
|
f(&mut edit);
|
|
|
|
edit.build()
|
|
|
|
};
|
2020-02-09 08:32:53 -06:00
|
|
|
info = info.resolved(action)
|
2020-02-09 07:30:27 -06:00
|
|
|
};
|
|
|
|
|
2020-02-09 08:32:53 -06:00
|
|
|
self.assists.push(info)
|
2020-02-09 07:30:27 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn finish(self) -> Option<Assist> {
|
2020-02-26 04:24:00 -06:00
|
|
|
if self.assists.is_empty() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
Some(Assist(self.assists))
|
|
|
|
}
|
2020-02-09 07:30:27 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-02 14:24:55 -05:00
|
|
|
pub(crate) struct ActionBuilder<'a, 'b> {
|
2019-02-03 12:26:35 -06:00
|
|
|
edit: TextEditBuilder,
|
2020-04-24 16:40:41 -05:00
|
|
|
cursor_position: Option<TextSize>,
|
2019-02-08 15:43:13 -06:00
|
|
|
target: Option<TextRange>,
|
2020-04-18 09:12:21 -05:00
|
|
|
file: AssistFile,
|
2020-05-02 14:24:55 -05:00
|
|
|
ctx: &'a AssistCtx<'b>,
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
|
|
|
|
2020-05-02 14:24:55 -05:00
|
|
|
impl<'a, 'b> ActionBuilder<'a, 'b> {
|
|
|
|
fn new(ctx: &'a AssistCtx<'b>) -> Self {
|
|
|
|
Self {
|
|
|
|
edit: TextEditBuilder::default(),
|
|
|
|
cursor_position: None,
|
|
|
|
target: None,
|
|
|
|
file: AssistFile::default(),
|
|
|
|
ctx,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn ctx(&self) -> &AssistCtx<'b> {
|
|
|
|
&self.ctx
|
|
|
|
}
|
|
|
|
|
2019-07-29 07:43:34 -05:00
|
|
|
/// Replaces specified `range` of text with a given string.
|
2019-02-03 12:26:35 -06:00
|
|
|
pub(crate) fn replace(&mut self, range: TextRange, replace_with: impl Into<String>) {
|
|
|
|
self.edit.replace(range, replace_with.into())
|
|
|
|
}
|
|
|
|
|
2019-07-29 07:43:34 -05:00
|
|
|
/// Replaces specified `node` of text with a given string, reindenting the
|
|
|
|
/// string to maintain `node`'s existing indent.
|
2019-10-12 14:07:47 -05:00
|
|
|
// FIXME: remove in favor of ra_syntax::edit::IndentLevel::increase_indent
|
2019-02-03 12:26:35 -06:00
|
|
|
pub(crate) fn replace_node_and_indent(
|
|
|
|
&mut self,
|
|
|
|
node: &SyntaxNode,
|
|
|
|
replace_with: impl Into<String>,
|
|
|
|
) {
|
|
|
|
let mut replace_with = replace_with.into();
|
|
|
|
if let Some(indent) = leading_indent(node) {
|
2019-07-19 03:24:41 -05:00
|
|
|
replace_with = reindent(&replace_with, &indent)
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
2019-07-20 04:58:27 -05:00
|
|
|
self.replace(node.text_range(), replace_with)
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
|
|
|
|
2019-07-29 07:43:34 -05:00
|
|
|
/// Remove specified `range` of text.
|
2019-02-03 12:26:35 -06:00
|
|
|
#[allow(unused)]
|
|
|
|
pub(crate) fn delete(&mut self, range: TextRange) {
|
|
|
|
self.edit.delete(range)
|
|
|
|
}
|
|
|
|
|
2019-07-29 07:43:34 -05:00
|
|
|
/// Append specified `text` at the given `offset`
|
2020-04-24 16:40:41 -05:00
|
|
|
pub(crate) fn insert(&mut self, offset: TextSize, text: impl Into<String>) {
|
2019-02-03 12:26:35 -06:00
|
|
|
self.edit.insert(offset, text.into())
|
|
|
|
}
|
|
|
|
|
2019-07-29 07:43:34 -05:00
|
|
|
/// Specify desired position of the cursor after the assist is applied.
|
2020-04-24 16:40:41 -05:00
|
|
|
pub(crate) fn set_cursor(&mut self, offset: TextSize) {
|
2019-02-03 12:26:35 -06:00
|
|
|
self.cursor_position = Some(offset)
|
|
|
|
}
|
|
|
|
|
2019-07-29 07:43:34 -05:00
|
|
|
/// Specify that the assist should be active withing the `target` range.
|
|
|
|
///
|
|
|
|
/// Target ranges are used to sort assists: the smaller the target range,
|
|
|
|
/// the more specific assist is, and so it should be sorted first.
|
2019-02-08 15:43:13 -06:00
|
|
|
pub(crate) fn target(&mut self, target: TextRange) {
|
|
|
|
self.target = Some(target)
|
|
|
|
}
|
|
|
|
|
2019-07-29 07:43:34 -05:00
|
|
|
/// Get access to the raw `TextEditBuilder`.
|
2019-04-21 14:13:52 -05:00
|
|
|
pub(crate) fn text_edit_builder(&mut self) -> &mut TextEditBuilder {
|
|
|
|
&mut self.edit
|
|
|
|
}
|
|
|
|
|
2019-09-28 12:09:57 -05:00
|
|
|
pub(crate) fn replace_ast<N: AstNode>(&mut self, old: N, new: N) {
|
2019-09-30 01:27:26 -05:00
|
|
|
algo::diff(old.syntax(), new.syntax()).into_text_edit(&mut self.edit)
|
2019-09-28 12:09:57 -05:00
|
|
|
}
|
2020-03-24 11:03:05 -05:00
|
|
|
pub(crate) fn rewrite(&mut self, rewriter: SyntaxRewriter) {
|
|
|
|
let node = rewriter.rewrite_root().unwrap();
|
|
|
|
let new = rewriter.rewrite(&node);
|
|
|
|
algo::diff(&node, &new).into_text_edit(&mut self.edit)
|
|
|
|
}
|
2019-09-28 12:09:57 -05:00
|
|
|
|
2020-04-18 09:12:21 -05:00
|
|
|
pub(crate) fn set_file(&mut self, assist_file: AssistFile) {
|
|
|
|
self.file = assist_file
|
|
|
|
}
|
|
|
|
|
2019-02-03 12:26:35 -06:00
|
|
|
fn build(self) -> AssistAction {
|
2019-02-08 15:43:13 -06:00
|
|
|
AssistAction {
|
|
|
|
edit: self.edit.finish(),
|
|
|
|
cursor_position: self.cursor_position,
|
|
|
|
target: self.target,
|
2020-04-18 09:12:21 -05:00
|
|
|
file: self.file,
|
2019-02-08 15:43:13 -06:00
|
|
|
}
|
2019-02-03 12:26:35 -06:00
|
|
|
}
|
|
|
|
}
|