bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/ide/src/interpret.rs')
-rw-r--r--crates/ide/src/interpret.rs64
1 files changed, 64 insertions, 0 deletions
diff --git a/crates/ide/src/interpret.rs b/crates/ide/src/interpret.rs
new file mode 100644
index 0000000000..5abe572a77
--- /dev/null
+++ b/crates/ide/src/interpret.rs
@@ -0,0 +1,64 @@
+use hir::{DefWithBody, Semantics};
+use ide_db::{base_db::SourceRootDatabase, FilePosition, LineIndexDatabase, RootDatabase};
+use std::time::{Duration, Instant};
+use stdx::format_to;
+use syntax::{algo::ancestors_at_offset, ast, AstNode, TextRange};
+
+// Feature: Interpret a function, static or const.
+//
+// |===
+// | Editor | Action Name
+//
+// | VS Code | **rust-analyzer: Interpret**
+// |===
+pub(crate) fn interpret(db: &RootDatabase, position: FilePosition) -> String {
+ match find_and_interpret(db, position) {
+ Some((duration, mut result)) => {
+ result.push('\n');
+ format_to!(result, "----------------------\n");
+ format_to!(result, " Finished in {}s\n", duration.as_secs_f32());
+ result
+ }
+ _ => "Not inside a function, const or static".to_owned(),
+ }
+}
+
+fn find_and_interpret(db: &RootDatabase, position: FilePosition) -> Option<(Duration, String)> {
+ let sema = Semantics::new(db);
+ let source_file = sema.parse_guess_edition(position.file_id);
+
+ let item = ancestors_at_offset(source_file.syntax(), position.offset)
+ .filter(|it| !ast::MacroCall::can_cast(it.kind()))
+ .find_map(ast::Item::cast)?;
+ let def: DefWithBody = match item {
+ ast::Item::Fn(it) => sema.to_def(&it)?.into(),
+ ast::Item::Const(it) => sema.to_def(&it)?.into(),
+ ast::Item::Static(it) => sema.to_def(&it)?.into(),
+ _ => return None,
+ };
+ let span_formatter = |file_id, text_range: TextRange| {
+ let path = &db
+ .source_root(db.file_source_root(file_id))
+ .path_for_file(&file_id)
+ .map(|x| x.to_string());
+ let path = path.as_deref().unwrap_or("<unknown file>");
+ match db.line_index(file_id).try_line_col(text_range.start()) {
+ Some(line_col) => format!("file://{path}:{}:{}", line_col.line + 1, line_col.col),
+ None => format!("file://{path} range {text_range:?}"),
+ }
+ };
+ let start_time = Instant::now();
+ let res = match def {
+ DefWithBody::Function(it) => it.eval(db, span_formatter),
+ DefWithBody::Static(it) => it.eval(db),
+ DefWithBody::Const(it) => it.eval(db),
+ _ => unreachable!(),
+ };
+ let res = res.unwrap_or_else(|e| {
+ let mut r = String::new();
+ _ = e.pretty_print(&mut r, db, span_formatter, def.module(db).krate().edition(db));
+ r
+ });
+ let duration = Instant::now() - start_time;
+ Some((duration, res))
+}