rust/crates/ra_lsp_server/src/world.rs

314 lines
11 KiB
Rust
Raw Normal View History

2019-12-21 14:27:38 -06:00
//! The context or environment in which the language server functions.
//! In our server implementation this is know as the `WorldState`.
//!
//! Each tick provides an immutable snapshot of the state as `WorldSnapshot`.
2018-08-17 11:54:08 -05:00
use std::{
path::{Path, PathBuf},
2018-09-02 06:46:15 -05:00
sync::Arc,
2018-08-17 11:54:08 -05:00
};
2019-08-25 05:04:56 -05:00
use crossbeam_channel::{unbounded, Receiver};
use lsp_server::ErrorCode;
2019-01-14 04:55:56 -06:00
use lsp_types::Url;
use parking_lot::RwLock;
use ra_cargo_watch::{url_from_path_with_drive_lowercasing, CheckOptions, CheckWatcher};
2019-11-27 12:32:33 -06:00
use ra_ide::{
2019-08-22 06:44:16 -05:00
Analysis, AnalysisChange, AnalysisHost, CrateGraph, FeatureFlags, FileId, LibraryData,
SourceRootId,
2018-10-31 15:41:43 -05:00
};
2019-10-02 13:02:53 -05:00
use ra_project_model::{get_rustc_cfg_options, ProjectWorkspace};
2019-09-06 08:25:24 -05:00
use ra_vfs::{LineEndings, RootEntry, Vfs, VfsChange, VfsFile, VfsRoot, VfsTask, Watch};
use ra_vfs_glob::{Glob, RustPackageFilterBuilder};
use relative_path::RelativePathBuf;
2018-08-17 11:54:08 -05:00
2018-10-15 12:15:53 -05:00
use crate::{
diagnostics::{CheckFixes, DiagnosticCollection},
2019-12-25 12:10:45 -06:00
main_loop::pending_requests::{CompletedRequest, LatestRequests},
LspError, Result,
2018-08-17 11:54:08 -05:00
};
#[derive(Debug, Clone)]
pub struct Options {
pub publish_decorations: bool,
pub supports_location_link: bool,
pub line_folding_only: bool,
pub max_inlay_hint_length: Option<usize>,
pub cargo_watch: CheckOptions,
}
2019-06-01 02:31:40 -05:00
/// `WorldState` is the primary mutable state of the language server
///
/// The most interesting components are `vfs`, which stores a consistent
/// snapshot of the file systems, and `analysis_host`, which stores our
/// incremental salsa database.
2018-12-19 06:04:15 -06:00
#[derive(Debug)]
2019-06-01 02:31:40 -05:00
pub struct WorldState {
pub options: Options,
2019-08-31 06:47:37 -05:00
//FIXME: this belongs to `LoopState` rather than to `WorldState`
2018-12-19 06:40:42 -06:00
pub roots_to_scan: usize,
pub roots: Vec<PathBuf>,
2019-01-10 11:13:08 -06:00
pub workspaces: Arc<Vec<ProjectWorkspace>>,
2018-08-30 04:51:46 -05:00
pub analysis_host: AnalysisHost,
2018-12-19 06:04:15 -06:00
pub vfs: Arc<RwLock<Vfs>>,
2019-08-25 05:04:56 -05:00
pub task_receiver: Receiver<VfsTask>,
pub latest_requests: Arc<RwLock<LatestRequests>>,
pub check_watcher: CheckWatcher,
pub diagnostics: DiagnosticCollection,
2018-08-17 11:54:08 -05:00
}
2019-06-01 02:31:40 -05:00
/// An immutable snapshot of the world's state at a point in time.
pub struct WorldSnapshot {
pub options: Options,
2019-01-10 11:13:08 -06:00
pub workspaces: Arc<Vec<ProjectWorkspace>>,
2018-08-29 10:03:14 -05:00
pub analysis: Analysis,
pub latest_requests: Arc<RwLock<LatestRequests>>,
pub check_fixes: CheckFixes,
2020-01-16 04:58:31 -06:00
vfs: Arc<RwLock<Vfs>>,
2018-08-17 11:54:08 -05:00
}
2019-06-01 02:31:40 -05:00
impl WorldState {
2019-06-07 12:49:29 -05:00
pub fn new(
folder_roots: Vec<PathBuf>,
workspaces: Vec<ProjectWorkspace>,
lru_capacity: Option<usize>,
exclude_globs: &[Glob],
2019-09-06 08:25:24 -05:00
watch: Watch,
2020-01-11 14:37:01 -06:00
options: Options,
2019-08-22 06:44:16 -05:00
feature_flags: FeatureFlags,
2019-06-07 12:49:29 -05:00
) -> WorldState {
let mut change = AnalysisChange::new();
2018-08-17 11:54:08 -05:00
2018-12-19 06:04:15 -06:00
let mut roots = Vec::new();
roots.extend(folder_roots.iter().map(|path| {
let mut filter = RustPackageFilterBuilder::default().set_member(true);
for glob in exclude_globs.iter() {
filter = filter.exclude(glob.clone());
}
RootEntry::new(path.clone(), filter.into_vfs_filter())
}));
2018-12-19 06:04:15 -06:00
for ws in workspaces.iter() {
roots.extend(ws.to_roots().into_iter().map(|pkg_root| {
let mut filter =
RustPackageFilterBuilder::default().set_member(pkg_root.is_member());
for glob in exclude_globs.iter() {
filter = filter.exclude(glob.clone());
}
RootEntry::new(pkg_root.path().clone(), filter.into_vfs_filter())
}));
2018-09-04 03:40:45 -05:00
}
2019-08-25 05:04:56 -05:00
let (task_sender, task_receiver) = unbounded();
let task_sender = Box::new(move |t| task_sender.send(t).unwrap());
2019-09-06 08:25:24 -05:00
let (mut vfs, vfs_roots) = Vfs::new(roots, task_sender, watch);
let roots_to_scan = vfs_roots.len();
for r in vfs_roots {
let vfs_root_path = vfs.root2path(r);
let is_local = folder_roots.iter().any(|it| vfs_root_path.starts_with(it));
2019-06-03 09:21:08 -05:00
change.add_root(SourceRootId(r.0), is_local);
change.set_debug_root_path(SourceRootId(r.0), vfs_root_path.display().to_string());
2018-09-04 03:40:45 -05:00
}
2018-08-17 11:54:08 -05:00
2019-10-02 13:02:53 -05:00
// FIXME: Read default cfgs from config
let default_cfg_options = {
let mut opts = get_rustc_cfg_options();
opts.insert_atom("test".into());
opts.insert_atom("debug_assertion".into());
opts
};
2019-10-02 13:02:53 -05:00
// Create crate graph from all the workspaces
let mut crate_graph = CrateGraph::default();
2019-02-09 04:08:24 -06:00
let mut load = |path: &std::path::Path| {
let vfs_file = vfs.load(path);
2019-06-03 09:21:08 -05:00
vfs_file.map(|f| FileId(f.0))
2019-02-09 04:08:24 -06:00
};
2018-12-19 06:04:15 -06:00
for ws in workspaces.iter() {
2019-10-02 13:02:53 -05:00
let (graph, crate_names) = ws.to_crate_graph(&default_cfg_options, &mut load);
let shift = crate_graph.extend(graph);
for (crate_id, name) in crate_names {
change.set_debug_crate_name(crate_id.shift(shift), name)
}
2018-12-08 14:16:11 -06:00
}
change.set_crate_graph(crate_graph);
2018-12-19 06:04:15 -06:00
// FIXME: Figure out the multi-workspace situation
let check_watcher = workspaces
.iter()
.find_map(|w| match w {
ProjectWorkspace::Cargo { cargo, .. } => Some(cargo),
ProjectWorkspace::Json { .. } => None,
})
.map(|cargo| {
let cargo_project_root = cargo.workspace_root().to_path_buf();
CheckWatcher::new(&options.cargo_watch, cargo_project_root)
})
.unwrap_or_else(|| {
log::warn!("Cargo check watching only supported for cargo workspaces, disabling");
CheckWatcher::dummy()
});
2019-08-22 06:44:16 -05:00
let mut analysis_host = AnalysisHost::new(lru_capacity, feature_flags);
2018-12-19 06:04:15 -06:00
analysis_host.apply_change(change);
2019-06-01 02:31:40 -05:00
WorldState {
options,
2018-12-19 06:40:42 -06:00
roots_to_scan,
roots: folder_roots,
2018-12-19 06:04:15 -06:00
workspaces: Arc::new(workspaces),
analysis_host,
vfs: Arc::new(RwLock::new(vfs)),
2019-08-25 05:04:56 -05:00
task_receiver,
latest_requests: Default::default(),
check_watcher,
diagnostics: Default::default(),
2018-12-19 06:04:15 -06:00
}
}
/// Returns a vec of libraries
/// FIXME: better API here
pub fn process_changes(
&mut self,
) -> Option<Vec<(SourceRootId, Vec<(FileId, RelativePathBuf, Arc<String>)>)>> {
2018-12-19 06:40:42 -06:00
let changes = self.vfs.write().commit_changes();
if changes.is_empty() {
return None;
2018-12-19 06:40:42 -06:00
}
2018-12-19 06:04:15 -06:00
let mut libs = Vec::new();
let mut change = AnalysisChange::new();
2018-12-19 06:40:42 -06:00
for c in changes {
2018-12-19 06:04:15 -06:00
match c {
VfsChange::AddRoot { root, files } => {
2018-12-19 06:40:42 -06:00
let root_path = self.vfs.read().root2path(root);
let is_local = self.roots.iter().any(|r| root_path.starts_with(r));
if is_local {
2018-12-19 06:40:42 -06:00
self.roots_to_scan -= 1;
for (file, path, text) in files {
2019-06-03 09:21:08 -05:00
change.add_file(SourceRootId(root.0), FileId(file.0), path, text);
2018-12-19 06:40:42 -06:00
}
} else {
let files = files
.into_iter()
2019-06-03 09:21:08 -05:00
.map(|(vfsfile, path, text)| (FileId(vfsfile.0), path, text))
2018-12-19 06:40:42 -06:00
.collect();
2019-06-03 09:21:08 -05:00
libs.push((SourceRootId(root.0), files));
2018-12-19 06:40:42 -06:00
}
2018-12-19 06:04:15 -06:00
}
2019-02-08 05:49:43 -06:00
VfsChange::AddFile { root, file, path, text } => {
2019-06-03 09:21:08 -05:00
change.add_file(SourceRootId(root.0), FileId(file.0), path, text);
2018-12-19 06:04:15 -06:00
}
VfsChange::RemoveFile { root, file, path } => {
2019-06-03 09:21:08 -05:00
change.remove_file(SourceRootId(root.0), FileId(file.0), path)
2018-12-19 06:04:15 -06:00
}
VfsChange::ChangeFile { file, text } => {
2019-06-03 09:21:08 -05:00
change.change_file(FileId(file.0), text);
2018-12-19 06:04:15 -06:00
}
}
}
self.analysis_host.apply_change(change);
Some(libs)
2018-09-02 06:46:15 -05:00
}
2018-12-19 06:04:15 -06:00
pub fn add_lib(&mut self, data: LibraryData) {
2018-12-19 06:40:42 -06:00
self.roots_to_scan -= 1;
2018-12-19 06:04:15 -06:00
let mut change = AnalysisChange::new();
change.add_library(data);
self.analysis_host.apply_change(change);
}
2019-06-01 02:31:40 -05:00
pub fn snapshot(&self) -> WorldSnapshot {
WorldSnapshot {
options: self.options.clone(),
2018-09-02 06:46:15 -05:00
workspaces: Arc::clone(&self.workspaces),
2018-09-10 04:57:40 -05:00
analysis: self.analysis_host.analysis(),
2018-12-19 06:04:15 -06:00
vfs: Arc::clone(&self.vfs),
latest_requests: Arc::clone(&self.latest_requests),
check_fixes: Arc::clone(&self.diagnostics.check_fixes),
2018-08-17 11:54:08 -05:00
}
}
2019-01-25 10:11:58 -06:00
2019-01-26 11:33:33 -06:00
pub fn maybe_collect_garbage(&mut self) {
self.analysis_host.maybe_collect_garbage()
}
pub fn collect_garbage(&mut self) {
2019-01-25 10:11:58 -06:00
self.analysis_host.collect_garbage()
}
2019-05-29 07:42:14 -05:00
pub fn complete_request(&mut self, request: CompletedRequest) {
self.latest_requests.write().record(request)
2019-05-29 07:42:14 -05:00
}
2019-08-22 06:44:16 -05:00
pub fn feature_flags(&self) -> &FeatureFlags {
self.analysis_host.feature_flags()
}
2018-08-17 11:54:08 -05:00
}
2019-06-01 02:31:40 -05:00
impl WorldSnapshot {
2018-08-29 10:03:14 -05:00
pub fn analysis(&self) -> &Analysis {
2018-08-17 11:54:08 -05:00
&self.analysis
}
pub fn uri_to_file_id(&self, uri: &Url) -> Result<FileId> {
let path = uri.to_file_path().map_err(|()| format!("invalid uri: {}", uri))?;
let file = self.vfs.read().path2file(&path).ok_or_else(|| {
2019-04-07 05:26:02 -05:00
// Show warning as this file is outside current workspace
LspError {
2019-04-07 05:26:02 -05:00
code: ErrorCode::InvalidRequest as i32,
message: "Rust file outside current workspace is not supported yet.".to_string(),
}
})?;
2019-06-03 09:21:08 -05:00
Ok(FileId(file.0))
2018-08-17 11:54:08 -05:00
}
pub fn file_id_to_uri(&self, id: FileId) -> Result<Url> {
2019-06-03 09:21:08 -05:00
let path = self.vfs.read().file2path(VfsFile(id.0));
let url = url_from_path_with_drive_lowercasing(path)?;
2018-08-17 11:54:08 -05:00
Ok(url)
}
2018-12-21 03:18:14 -06:00
2020-01-16 04:58:31 -06:00
pub fn file_id_to_path(&self, id: FileId) -> PathBuf {
self.vfs.read().file2path(VfsFile(id.0))
}
2019-08-20 10:53:59 -05:00
pub fn file_line_endings(&self, id: FileId) -> LineEndings {
self.vfs.read().file_line_endings(VfsFile(id.0))
}
2018-12-21 03:18:14 -06:00
pub fn path_to_uri(&self, root: SourceRootId, path: &RelativePathBuf) -> Result<Url> {
2019-06-03 09:21:08 -05:00
let base = self.vfs.read().root2path(VfsRoot(root.0));
2018-12-21 03:18:14 -06:00
let path = path.to_path(base);
let url = Url::from_file_path(&path)
.map_err(|_| format!("can't convert path to url: {}", path.display()))?;
2018-12-21 03:18:14 -06:00
Ok(url)
}
2019-01-22 15:15:03 -06:00
pub fn status(&self) -> String {
let mut res = String::new();
if self.workspaces.is_empty() {
res.push_str("no workspaces\n")
} else {
res.push_str("workspaces:\n");
for w in self.workspaces.iter() {
2019-08-06 03:54:51 -05:00
res += &format!("{} packages loaded\n", w.n_packages());
2019-01-22 15:15:03 -06:00
}
}
res.push_str("\nanalysis:\n");
2019-07-25 12:22:41 -05:00
res.push_str(
&self
.analysis
.status()
.unwrap_or_else(|_| "Analysis retrieval was cancelled".to_owned()),
);
2019-01-22 15:15:03 -06:00
res
}
pub fn workspace_root_for(&self, file_id: FileId) -> Option<&Path> {
2019-06-03 09:21:08 -05:00
let path = self.vfs.read().file2path(VfsFile(file_id.0));
self.workspaces.iter().find_map(|ws| ws.workspace_root_for(&path))
}
2019-08-22 06:44:16 -05:00
pub fn feature_flags(&self) -> &FeatureFlags {
self.analysis.feature_flags()
}
2018-08-17 11:54:08 -05:00
}