2020-02-18 05:33:16 -06:00
|
|
|
//! The main loop of `rust-analyzer` responsible for dispatching LSP
|
2020-02-18 05:25:26 -06:00
|
|
|
//! requests/replies and notifications back to the client.
|
2019-09-30 03:58:53 -05:00
|
|
|
|
2018-08-12 14:08:14 -05:00
|
|
|
mod handlers;
|
2018-08-30 08:27:09 -05:00
|
|
|
mod subscriptions;
|
2019-05-31 12:14:54 -05:00
|
|
|
pub(crate) mod pending_requests;
|
2018-08-12 14:08:14 -05:00
|
|
|
|
2020-01-29 04:21:49 -06:00
|
|
|
use std::{
|
|
|
|
env,
|
|
|
|
error::Error,
|
|
|
|
fmt, panic,
|
|
|
|
path::PathBuf,
|
|
|
|
sync::Arc,
|
|
|
|
time::{Duration, Instant},
|
|
|
|
};
|
2018-08-12 16:09:30 -05:00
|
|
|
|
2020-03-30 04:46:04 -05:00
|
|
|
use crossbeam_channel::{never, select, unbounded, RecvError, Sender};
|
2019-08-30 12:18:57 -05:00
|
|
|
use lsp_server::{Connection, ErrorCode, Message, Notification, Request, RequestId, Response};
|
2020-03-13 18:03:02 -05:00
|
|
|
use lsp_types::{
|
|
|
|
ClientCapabilities, NumberOrString, WorkDoneProgress, WorkDoneProgressBegin,
|
|
|
|
WorkDoneProgressCreateParams, WorkDoneProgressEnd, WorkDoneProgressReport,
|
|
|
|
};
|
2020-01-31 12:23:25 -06:00
|
|
|
use ra_cargo_watch::{url_from_path_with_drive_lowercasing, CheckOptions, CheckTask};
|
2020-03-12 12:01:36 -05:00
|
|
|
use ra_ide::{Canceled, FileId, InlayHintsOptions, LibraryData, SourceRootId};
|
2019-07-04 15:05:17 -05:00
|
|
|
use ra_prof::profile;
|
2020-01-31 12:23:25 -06:00
|
|
|
use ra_vfs::{VfsFile, VfsTask, Watch};
|
2019-08-31 06:47:37 -05:00
|
|
|
use relative_path::RelativePathBuf;
|
2019-09-06 08:25:24 -05:00
|
|
|
use rustc_hash::FxHashSet;
|
2018-10-15 16:44:23 -05:00
|
|
|
use serde::{de::DeserializeOwned, Serialize};
|
2019-01-06 02:41:11 -06:00
|
|
|
use threadpool::ThreadPool;
|
2018-08-12 16:09:30 -05:00
|
|
|
|
2018-10-15 12:15:53 -05:00
|
|
|
use crate::{
|
2020-01-31 12:23:25 -06:00
|
|
|
diagnostics::DiagnosticTask,
|
2020-03-10 12:56:15 -05:00
|
|
|
feature_flags::FeatureFlags,
|
2019-05-31 12:14:54 -05:00
|
|
|
main_loop::{
|
2019-07-04 15:05:17 -05:00
|
|
|
pending_requests::{PendingRequest, PendingRequests},
|
2019-05-31 12:14:54 -05:00
|
|
|
subscriptions::Subscriptions,
|
|
|
|
},
|
2018-09-01 09:40:45 -05:00
|
|
|
req,
|
2019-07-08 06:09:38 -05:00
|
|
|
world::{Options, WorldSnapshot, WorldState},
|
2019-08-06 06:12:58 -05:00
|
|
|
Result, ServerConfig,
|
2018-08-12 14:08:14 -05:00
|
|
|
};
|
|
|
|
|
2019-06-14 15:42:56 -05:00
|
|
|
#[derive(Debug)]
|
2018-10-22 12:49:27 -05:00
|
|
|
pub struct LspError {
|
|
|
|
pub code: i32,
|
|
|
|
pub message: String,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl LspError {
|
2020-03-09 04:54:14 -05:00
|
|
|
pub const UNKNOWN_FILE: i32 = -32900;
|
|
|
|
|
2018-10-22 12:49:27 -05:00
|
|
|
pub fn new(code: i32, message: String) -> LspError {
|
2018-10-31 15:41:43 -05:00
|
|
|
LspError { code, message }
|
2018-10-22 12:49:27 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-06-14 15:42:56 -05:00
|
|
|
impl fmt::Display for LspError {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
write!(f, "Language Server request failed with {}. ({})", self.code, self.message)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Error for LspError {}
|
|
|
|
|
2018-09-01 10:16:08 -05:00
|
|
|
pub fn main_loop(
|
2019-04-11 01:08:19 -05:00
|
|
|
ws_roots: Vec<PathBuf>,
|
2019-07-08 06:09:38 -05:00
|
|
|
client_caps: ClientCapabilities,
|
2019-08-06 06:12:58 -05:00
|
|
|
config: ServerConfig,
|
2019-09-06 12:58:21 -05:00
|
|
|
connection: Connection,
|
2018-08-12 14:08:14 -05:00
|
|
|
) -> Result<()> {
|
2019-08-22 06:44:16 -05:00
|
|
|
log::info!("server_config: {:#?}", config);
|
2019-08-31 06:47:37 -05:00
|
|
|
|
2020-01-26 05:02:56 -06:00
|
|
|
// Windows scheduler implements priority boosts: if thread waits for an
|
|
|
|
// event (like a condvar), and event fires, priority of the thread is
|
|
|
|
// temporary bumped. This optimization backfires in our case: each time the
|
|
|
|
// `main_loop` schedules a task to run on a threadpool, the worker threads
|
|
|
|
// gets a higher priority, and (on a machine with fewer cores) displaces the
|
|
|
|
// main loop! We work-around this by marking the main loop as a
|
|
|
|
// higher-priority thread.
|
|
|
|
//
|
|
|
|
// https://docs.microsoft.com/en-us/windows/win32/procthread/scheduling-priorities
|
|
|
|
// https://docs.microsoft.com/en-us/windows/win32/procthread/priority-boosts
|
|
|
|
// https://github.com/rust-analyzer/rust-analyzer/issues/2835
|
|
|
|
#[cfg(windows)]
|
|
|
|
unsafe {
|
|
|
|
use winapi::um::processthreadsapi::*;
|
|
|
|
let thread = GetCurrentThread();
|
|
|
|
let thread_priority_above_normal = 1;
|
|
|
|
SetThreadPriority(thread, thread_priority_above_normal);
|
|
|
|
}
|
|
|
|
|
2019-09-06 08:25:24 -05:00
|
|
|
let mut loop_state = LoopState::default();
|
|
|
|
let mut world_state = {
|
2020-01-03 08:04:54 -06:00
|
|
|
let feature_flags = {
|
|
|
|
let mut ff = FeatureFlags::default();
|
|
|
|
for (flag, value) in config.feature_flags {
|
|
|
|
if ff.set(flag.as_str(), value).is_err() {
|
|
|
|
log::error!("unknown feature flag: {:?}", flag);
|
|
|
|
show_message(
|
|
|
|
req::MessageType::Error,
|
|
|
|
format!("unknown feature flag: {:?}", flag),
|
|
|
|
&connection.sender,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ff
|
|
|
|
};
|
|
|
|
log::info!("feature_flags: {:#?}", feature_flags);
|
|
|
|
|
2019-09-06 08:25:24 -05:00
|
|
|
// FIXME: support dynamic workspace loading.
|
|
|
|
let workspaces = {
|
|
|
|
let mut loaded_workspaces = Vec::new();
|
|
|
|
for ws_root in &ws_roots {
|
|
|
|
let workspace = ra_project_model::ProjectWorkspace::discover_with_sysroot(
|
|
|
|
ws_root.as_path(),
|
|
|
|
config.with_sysroot,
|
2019-12-13 04:16:34 -06:00
|
|
|
&config.cargo_features,
|
2019-09-06 08:25:24 -05:00
|
|
|
);
|
|
|
|
match workspace {
|
|
|
|
Ok(workspace) => loaded_workspaces.push(workspace),
|
|
|
|
Err(e) => {
|
2020-02-20 11:41:12 -06:00
|
|
|
log::error!("loading workspace failed: {:?}", e);
|
2020-02-29 07:05:10 -06:00
|
|
|
|
2020-02-29 07:14:31 -06:00
|
|
|
if let Some(ra_project_model::CargoTomlNotFoundError { .. }) =
|
|
|
|
e.downcast_ref()
|
2020-01-08 07:04:47 -06:00
|
|
|
{
|
2020-01-03 08:04:54 -06:00
|
|
|
if !feature_flags.get("notifications.cargo-toml-not-found") {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
}
|
2020-02-29 07:05:10 -06:00
|
|
|
|
2019-09-06 08:25:24 -05:00
|
|
|
show_message(
|
|
|
|
req::MessageType::Error,
|
2020-02-20 11:41:12 -06:00
|
|
|
format!("rust-analyzer failed to load workspace: {:?}", e),
|
2019-09-06 08:25:24 -05:00
|
|
|
&connection.sender,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
loaded_workspaces
|
|
|
|
};
|
2019-03-05 13:59:01 -06:00
|
|
|
|
2019-09-06 08:25:24 -05:00
|
|
|
let globs = config
|
|
|
|
.exclude_globs
|
|
|
|
.iter()
|
2020-02-17 12:07:30 -06:00
|
|
|
.map(|glob| crate::vfs_glob::Glob::new(glob))
|
2019-09-06 08:25:24 -05:00
|
|
|
.collect::<std::result::Result<Vec<_>, _>>()?;
|
|
|
|
|
|
|
|
if config.use_client_watching {
|
|
|
|
let registration_options = req::DidChangeWatchedFilesRegistrationOptions {
|
|
|
|
watchers: workspaces
|
|
|
|
.iter()
|
|
|
|
.flat_map(|ws| ws.to_roots())
|
|
|
|
.filter(|root| root.is_member())
|
|
|
|
.map(|root| format!("{}/**/*.rs", root.path().display()))
|
|
|
|
.map(|glob_pattern| req::FileSystemWatcher { glob_pattern, kind: None })
|
|
|
|
.collect(),
|
|
|
|
};
|
|
|
|
let registration = req::Registration {
|
|
|
|
id: "file-watcher".to_string(),
|
|
|
|
method: "workspace/didChangeWatchedFiles".to_string(),
|
|
|
|
register_options: Some(serde_json::to_value(registration_options).unwrap()),
|
|
|
|
};
|
|
|
|
let params = req::RegistrationParams { registrations: vec![registration] };
|
|
|
|
let request =
|
|
|
|
request_new::<req::RegisterCapability>(loop_state.next_request_id(), params);
|
|
|
|
connection.sender.send(request.into()).unwrap();
|
|
|
|
}
|
|
|
|
|
2019-10-20 18:04:55 -05:00
|
|
|
let options = {
|
|
|
|
let text_document_caps = client_caps.text_document.as_ref();
|
|
|
|
Options {
|
|
|
|
publish_decorations: config.publish_decorations,
|
|
|
|
supports_location_link: text_document_caps
|
|
|
|
.and_then(|it| it.definition)
|
|
|
|
.and_then(|it| it.link_support)
|
|
|
|
.unwrap_or(false),
|
|
|
|
line_folding_only: text_document_caps
|
|
|
|
.and_then(|it| it.folding_range.as_ref())
|
|
|
|
.and_then(|it| it.line_folding_only)
|
|
|
|
.unwrap_or(false),
|
2020-03-12 12:01:36 -05:00
|
|
|
inlay_hints: InlayHintsOptions {
|
|
|
|
type_hints: config.inlay_hints_type,
|
|
|
|
parameter_hints: config.inlay_hints_parameter,
|
2020-03-23 14:32:05 -05:00
|
|
|
chaining_hints: config.inlay_hints_chaining,
|
2020-03-12 12:01:36 -05:00
|
|
|
max_length: config.inlay_hints_max_length,
|
|
|
|
},
|
2019-12-27 04:10:07 -06:00
|
|
|
cargo_watch: CheckOptions {
|
|
|
|
enable: config.cargo_watch_enable,
|
|
|
|
args: config.cargo_watch_args,
|
|
|
|
command: config.cargo_watch_command,
|
|
|
|
all_targets: config.cargo_watch_all_targets,
|
|
|
|
},
|
2020-02-17 02:44:58 -06:00
|
|
|
rustfmt_args: config.rustfmt_args,
|
2020-03-12 16:31:47 -05:00
|
|
|
vscode_lldb: config.vscode_lldb,
|
2019-10-20 18:04:55 -05:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2019-09-06 08:25:24 -05:00
|
|
|
WorldState::new(
|
|
|
|
ws_roots,
|
|
|
|
workspaces,
|
|
|
|
config.lru_capacity,
|
|
|
|
&globs,
|
|
|
|
Watch(!config.use_client_watching),
|
2019-10-20 18:04:55 -05:00
|
|
|
options,
|
2019-09-06 08:25:24 -05:00
|
|
|
feature_flags,
|
|
|
|
)
|
2019-08-22 06:44:16 -05:00
|
|
|
};
|
2018-12-19 06:04:15 -06:00
|
|
|
|
2020-03-29 13:39:03 -05:00
|
|
|
loop_state.roots_total = world_state.vfs.read().n_roots();
|
|
|
|
loop_state.roots_scanned = 0;
|
2020-03-28 17:33:16 -05:00
|
|
|
|
2020-01-25 06:27:36 -06:00
|
|
|
let pool = ThreadPool::default();
|
2019-05-31 12:14:54 -05:00
|
|
|
let (task_sender, task_receiver) = unbounded::<Task>();
|
2019-08-31 06:47:37 -05:00
|
|
|
let (libdata_sender, libdata_receiver) = unbounded::<LibraryData>();
|
2018-08-17 11:54:08 -05:00
|
|
|
|
2019-05-31 12:14:54 -05:00
|
|
|
log::info!("server initialized, serving requests");
|
2019-08-31 06:47:37 -05:00
|
|
|
{
|
|
|
|
let task_sender = task_sender;
|
|
|
|
let libdata_sender = libdata_sender;
|
|
|
|
loop {
|
|
|
|
log::trace!("selecting");
|
|
|
|
let event = select! {
|
|
|
|
recv(&connection.receiver) -> msg => match msg {
|
|
|
|
Ok(msg) => Event::Msg(msg),
|
2020-02-18 06:53:02 -06:00
|
|
|
Err(RecvError) => return Err("client exited without shutdown".into()),
|
2019-08-31 06:47:37 -05:00
|
|
|
},
|
|
|
|
recv(task_receiver) -> task => Event::Task(task.unwrap()),
|
|
|
|
recv(world_state.task_receiver) -> task => match task {
|
|
|
|
Ok(task) => Event::Vfs(task),
|
2020-02-18 06:53:02 -06:00
|
|
|
Err(RecvError) => return Err("vfs died".into()),
|
2019-08-31 06:47:37 -05:00
|
|
|
},
|
2019-12-25 05:21:38 -06:00
|
|
|
recv(libdata_receiver) -> data => Event::Lib(data.unwrap()),
|
2020-03-30 04:46:04 -05:00
|
|
|
recv(world_state.check_watcher.as_ref().map_or(&never(), |it| &it.task_recv)) -> task => match task {
|
2019-12-27 05:43:14 -06:00
|
|
|
Ok(task) => Event::CheckWatcher(task),
|
2020-02-18 06:53:02 -06:00
|
|
|
Err(RecvError) => return Err("check watcher died".into()),
|
2019-12-27 05:43:14 -06:00
|
|
|
}
|
2019-08-31 06:47:37 -05:00
|
|
|
};
|
|
|
|
if let Event::Msg(Message::Request(req)) = &event {
|
|
|
|
if connection.handle_shutdown(&req)? {
|
|
|
|
break;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
loop_turn(
|
|
|
|
&pool,
|
|
|
|
&task_sender,
|
|
|
|
&libdata_sender,
|
2019-09-06 12:58:21 -05:00
|
|
|
&connection,
|
2019-08-31 06:47:37 -05:00
|
|
|
&mut world_state,
|
|
|
|
&mut loop_state,
|
|
|
|
event,
|
|
|
|
)?;
|
|
|
|
}
|
|
|
|
}
|
2020-01-24 09:35:37 -06:00
|
|
|
world_state.analysis_host.request_cancellation();
|
2018-12-06 12:03:39 -06:00
|
|
|
log::info!("waiting for tasks to finish...");
|
2019-08-31 06:47:37 -05:00
|
|
|
task_receiver.into_iter().for_each(|task| {
|
|
|
|
on_task(task, &connection.sender, &mut loop_state.pending_requests, &mut world_state)
|
|
|
|
});
|
2019-10-30 12:36:37 -05:00
|
|
|
libdata_receiver.into_iter().for_each(drop);
|
2018-12-06 12:03:39 -06:00
|
|
|
log::info!("...tasks have finished");
|
|
|
|
log::info!("joining threadpool...");
|
2018-09-04 12:43:37 -05:00
|
|
|
drop(pool);
|
2018-12-06 12:03:39 -06:00
|
|
|
log::info!("...threadpool has finished");
|
2018-09-01 09:40:45 -05:00
|
|
|
|
2019-08-31 06:47:37 -05:00
|
|
|
let vfs = Arc::try_unwrap(world_state.vfs).expect("all snapshots should be dead");
|
2019-02-14 11:43:45 -06:00
|
|
|
drop(vfs);
|
2018-09-02 06:46:15 -05:00
|
|
|
|
2019-08-31 06:47:37 -05:00
|
|
|
Ok(())
|
2018-09-01 09:40:45 -05:00
|
|
|
}
|
|
|
|
|
2019-05-31 12:14:54 -05:00
|
|
|
#[derive(Debug)]
|
|
|
|
enum Task {
|
2019-08-30 09:24:11 -05:00
|
|
|
Respond(Response),
|
|
|
|
Notify(Notification),
|
2020-01-31 12:23:25 -06:00
|
|
|
Diagnostic(DiagnosticTask),
|
2019-05-31 12:14:54 -05:00
|
|
|
}
|
|
|
|
|
2018-12-22 03:13:20 -06:00
|
|
|
enum Event {
|
2019-08-30 09:24:11 -05:00
|
|
|
Msg(Message),
|
2018-12-22 03:13:20 -06:00
|
|
|
Task(Task),
|
|
|
|
Vfs(VfsTask),
|
|
|
|
Lib(LibraryData),
|
2019-12-25 05:21:38 -06:00
|
|
|
CheckWatcher(CheckTask),
|
2018-12-22 03:13:20 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Debug for Event {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
2019-08-30 09:24:11 -05:00
|
|
|
let debug_verbose_not = |not: &Notification, f: &mut fmt::Formatter| {
|
|
|
|
f.debug_struct("Notification").field("method", ¬.method).finish()
|
2018-12-22 03:13:20 -06:00
|
|
|
};
|
|
|
|
|
|
|
|
match self {
|
2019-08-30 09:24:11 -05:00
|
|
|
Event::Msg(Message::Notification(not)) => {
|
|
|
|
if notification_is::<req::DidOpenTextDocument>(not)
|
|
|
|
|| notification_is::<req::DidChangeTextDocument>(not)
|
|
|
|
{
|
2018-12-22 03:13:20 -06:00
|
|
|
return debug_verbose_not(not, f);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Event::Task(Task::Notify(not)) => {
|
2019-08-30 09:24:11 -05:00
|
|
|
if notification_is::<req::PublishDecorations>(not)
|
|
|
|
|| notification_is::<req::PublishDiagnostics>(not)
|
|
|
|
{
|
2018-12-22 03:13:20 -06:00
|
|
|
return debug_verbose_not(not, f);
|
|
|
|
}
|
|
|
|
}
|
2018-12-22 06:09:08 -06:00
|
|
|
Event::Task(Task::Respond(resp)) => {
|
|
|
|
return f
|
2019-08-30 09:24:11 -05:00
|
|
|
.debug_struct("Response")
|
2018-12-22 06:09:08 -06:00
|
|
|
.field("id", &resp.id)
|
|
|
|
.field("error", &resp.error)
|
|
|
|
.finish();
|
|
|
|
}
|
2018-12-22 03:13:20 -06:00
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
match self {
|
|
|
|
Event::Msg(it) => fmt::Debug::fmt(it, f),
|
|
|
|
Event::Task(it) => fmt::Debug::fmt(it, f),
|
|
|
|
Event::Vfs(it) => fmt::Debug::fmt(it, f),
|
|
|
|
Event::Lib(it) => fmt::Debug::fmt(it, f),
|
2019-12-25 05:21:38 -06:00
|
|
|
Event::CheckWatcher(it) => fmt::Debug::fmt(it, f),
|
2018-12-22 03:13:20 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-08-31 06:47:37 -05:00
|
|
|
#[derive(Debug, Default)]
|
|
|
|
struct LoopState {
|
2019-09-06 08:25:24 -05:00
|
|
|
next_request_id: u64,
|
|
|
|
pending_responses: FxHashSet<RequestId>,
|
2019-08-31 06:47:37 -05:00
|
|
|
pending_requests: PendingRequests,
|
|
|
|
subscriptions: Subscriptions,
|
|
|
|
// We try not to index more than MAX_IN_FLIGHT_LIBS libraries at the same
|
|
|
|
// time to always have a thread ready to react to input.
|
|
|
|
in_flight_libraries: usize,
|
|
|
|
pending_libraries: Vec<(SourceRootId, Vec<(FileId, RelativePathBuf, Arc<String>)>)>,
|
|
|
|
workspace_loaded: bool,
|
2020-03-28 17:33:16 -05:00
|
|
|
|
2020-03-29 13:39:03 -05:00
|
|
|
roots_progress_reported: Option<usize>,
|
|
|
|
roots_scanned: usize,
|
2020-03-28 17:33:16 -05:00
|
|
|
roots_total: usize,
|
2019-08-31 06:47:37 -05:00
|
|
|
}
|
|
|
|
|
2019-09-06 08:25:24 -05:00
|
|
|
impl LoopState {
|
|
|
|
fn next_request_id(&mut self) -> RequestId {
|
|
|
|
self.next_request_id += 1;
|
|
|
|
let res: RequestId = self.next_request_id.into();
|
|
|
|
let inserted = self.pending_responses.insert(res.clone());
|
|
|
|
assert!(inserted);
|
|
|
|
res
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-08-31 06:47:37 -05:00
|
|
|
fn loop_turn(
|
2018-09-01 09:40:45 -05:00
|
|
|
pool: &ThreadPool,
|
2019-08-31 06:47:37 -05:00
|
|
|
task_sender: &Sender<Task>,
|
|
|
|
libdata_sender: &Sender<LibraryData>,
|
2019-08-30 12:18:57 -05:00
|
|
|
connection: &Connection,
|
2019-08-31 06:47:37 -05:00
|
|
|
world_state: &mut WorldState,
|
|
|
|
loop_state: &mut LoopState,
|
|
|
|
event: Event,
|
2018-09-01 12:21:11 -05:00
|
|
|
) -> Result<()> {
|
2019-08-31 06:47:37 -05:00
|
|
|
let loop_start = Instant::now();
|
2019-01-11 07:58:01 -06:00
|
|
|
|
2019-08-31 06:47:37 -05:00
|
|
|
// NOTE: don't count blocking select! call as a loop-turn time
|
|
|
|
let _p = profile("main_loop_inner/loop-turn");
|
|
|
|
log::info!("loop turn = {:?}", event);
|
|
|
|
let queue_count = pool.queued_count();
|
|
|
|
if queue_count > 0 {
|
|
|
|
log::info!("queued count = {}", queue_count);
|
|
|
|
}
|
2019-05-29 06:59:01 -05:00
|
|
|
|
2019-08-31 06:47:37 -05:00
|
|
|
match event {
|
|
|
|
Event::Task(task) => {
|
|
|
|
on_task(task, &connection.sender, &mut loop_state.pending_requests, world_state);
|
|
|
|
world_state.maybe_collect_garbage();
|
2019-05-29 06:34:21 -05:00
|
|
|
}
|
2019-08-31 06:47:37 -05:00
|
|
|
Event::Vfs(task) => {
|
|
|
|
world_state.vfs.write().handle_task(task);
|
|
|
|
}
|
|
|
|
Event::Lib(lib) => {
|
|
|
|
world_state.add_lib(lib);
|
|
|
|
world_state.maybe_collect_garbage();
|
|
|
|
loop_state.in_flight_libraries -= 1;
|
2020-03-29 13:39:03 -05:00
|
|
|
loop_state.roots_scanned += 1;
|
2019-08-31 06:47:37 -05:00
|
|
|
}
|
2020-01-31 12:23:25 -06:00
|
|
|
Event::CheckWatcher(task) => on_check_task(task, world_state, task_sender)?,
|
2019-08-31 06:47:37 -05:00
|
|
|
Event::Msg(msg) => match msg {
|
|
|
|
Message::Request(req) => on_request(
|
|
|
|
world_state,
|
|
|
|
&mut loop_state.pending_requests,
|
|
|
|
pool,
|
|
|
|
task_sender,
|
|
|
|
&connection.sender,
|
|
|
|
loop_start,
|
|
|
|
req,
|
|
|
|
)?,
|
|
|
|
Message::Notification(not) => {
|
|
|
|
on_notification(
|
|
|
|
&connection.sender,
|
|
|
|
world_state,
|
|
|
|
&mut loop_state.pending_requests,
|
|
|
|
&mut loop_state.subscriptions,
|
|
|
|
not,
|
|
|
|
)?;
|
2018-08-13 05:46:05 -05:00
|
|
|
}
|
2019-09-06 08:25:24 -05:00
|
|
|
Message::Response(resp) => {
|
|
|
|
let removed = loop_state.pending_responses.remove(&resp.id);
|
|
|
|
if !removed {
|
|
|
|
log::error!("unexpected response: {:?}", resp)
|
|
|
|
}
|
|
|
|
}
|
2019-08-31 06:47:37 -05:00
|
|
|
},
|
|
|
|
};
|
2018-08-30 08:27:09 -05:00
|
|
|
|
2019-12-22 06:56:19 -06:00
|
|
|
let mut state_changed = false;
|
2020-03-29 13:39:03 -05:00
|
|
|
if let Some(changes) = world_state.process_changes(&mut loop_state.roots_scanned) {
|
2019-12-22 06:56:19 -06:00
|
|
|
state_changed = true;
|
|
|
|
loop_state.pending_libraries.extend(changes);
|
|
|
|
}
|
|
|
|
|
2020-01-25 06:27:36 -06:00
|
|
|
let max_in_flight_libs = pool.max_count().saturating_sub(2).max(1);
|
|
|
|
while loop_state.in_flight_libraries < max_in_flight_libs
|
2019-08-31 06:47:37 -05:00
|
|
|
&& !loop_state.pending_libraries.is_empty()
|
|
|
|
{
|
|
|
|
let (root, files) = loop_state.pending_libraries.pop().unwrap();
|
|
|
|
loop_state.in_flight_libraries += 1;
|
|
|
|
let sender = libdata_sender.clone();
|
|
|
|
pool.execute(move || {
|
|
|
|
log::info!("indexing {:?} ... ", root);
|
|
|
|
let data = LibraryData::prepare(root, files);
|
|
|
|
sender.send(data).unwrap();
|
|
|
|
});
|
|
|
|
}
|
2019-01-11 07:58:01 -06:00
|
|
|
|
2020-03-28 17:33:16 -05:00
|
|
|
let show_progress = !loop_state.workspace_loaded
|
|
|
|
&& world_state.feature_flags.get("notifications.workspace-loaded");
|
|
|
|
|
2019-08-31 06:47:37 -05:00
|
|
|
if !loop_state.workspace_loaded
|
2020-03-29 13:39:03 -05:00
|
|
|
&& loop_state.roots_scanned == loop_state.roots_total
|
2019-08-31 06:47:37 -05:00
|
|
|
&& loop_state.pending_libraries.is_empty()
|
|
|
|
&& loop_state.in_flight_libraries == 0
|
|
|
|
{
|
|
|
|
loop_state.workspace_loaded = true;
|
2020-03-30 04:46:04 -05:00
|
|
|
if let Some(check_watcher) = &world_state.check_watcher {
|
|
|
|
check_watcher.update();
|
|
|
|
}
|
2020-03-05 05:42:04 -06:00
|
|
|
pool.execute({
|
|
|
|
let subs = loop_state.subscriptions.subscriptions();
|
|
|
|
let snap = world_state.snapshot();
|
|
|
|
move || snap.analysis().prime_caches(subs).unwrap_or_else(|_: Canceled| ())
|
|
|
|
});
|
2020-03-28 17:33:16 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
if show_progress {
|
|
|
|
send_startup_progress(&connection.sender, loop_state);
|
2019-08-31 06:47:37 -05:00
|
|
|
}
|
2018-12-19 06:04:15 -06:00
|
|
|
|
2019-08-31 06:47:37 -05:00
|
|
|
if state_changed {
|
|
|
|
update_file_notifications_on_threadpool(
|
|
|
|
pool,
|
|
|
|
world_state.snapshot(),
|
|
|
|
world_state.options.publish_decorations,
|
|
|
|
task_sender.clone(),
|
|
|
|
loop_state.subscriptions.subscriptions(),
|
|
|
|
)
|
2018-08-12 14:08:14 -05:00
|
|
|
}
|
2020-01-29 04:21:49 -06:00
|
|
|
|
|
|
|
let loop_duration = loop_start.elapsed();
|
2020-01-29 07:04:10 -06:00
|
|
|
if loop_duration > Duration::from_millis(100) {
|
2020-01-29 04:21:49 -06:00
|
|
|
log::error!("overly long loop turn: {:?}", loop_duration);
|
|
|
|
if env::var("RA_PROFILE").is_ok() {
|
|
|
|
show_message(
|
|
|
|
req::MessageType::Error,
|
|
|
|
format!("overly long loop turn: {:?}", loop_duration),
|
|
|
|
&connection.sender,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-08-31 06:47:37 -05:00
|
|
|
Ok(())
|
2018-08-12 14:08:14 -05:00
|
|
|
}
|
|
|
|
|
2019-05-29 06:59:01 -05:00
|
|
|
fn on_task(
|
|
|
|
task: Task,
|
2019-08-30 09:24:11 -05:00
|
|
|
msg_sender: &Sender<Message>,
|
2019-05-31 12:14:54 -05:00
|
|
|
pending_requests: &mut PendingRequests,
|
2019-06-01 02:31:40 -05:00
|
|
|
state: &mut WorldState,
|
2019-05-29 06:59:01 -05:00
|
|
|
) {
|
2018-09-01 10:03:57 -05:00
|
|
|
match task {
|
|
|
|
Task::Respond(response) => {
|
2019-08-30 09:24:11 -05:00
|
|
|
if let Some(completed) = pending_requests.finish(&response.id) {
|
2019-05-29 07:42:14 -05:00
|
|
|
log::info!("handled req#{} in {:?}", completed.id, completed.duration);
|
|
|
|
state.complete_request(completed);
|
2019-03-05 07:24:59 -06:00
|
|
|
msg_sender.send(response.into()).unwrap();
|
2018-09-01 10:03:57 -05:00
|
|
|
}
|
|
|
|
}
|
2018-12-30 14:23:31 -06:00
|
|
|
Task::Notify(n) => {
|
2019-03-05 07:24:59 -06:00
|
|
|
msg_sender.send(n.into()).unwrap();
|
2018-12-30 14:23:31 -06:00
|
|
|
}
|
2020-01-31 12:23:25 -06:00
|
|
|
Task::Diagnostic(task) => on_diagnostic_task(task, msg_sender, state),
|
2018-09-01 10:03:57 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-12 16:09:30 -05:00
|
|
|
fn on_request(
|
2019-06-01 02:31:40 -05:00
|
|
|
world: &mut WorldState,
|
2019-05-31 12:14:54 -05:00
|
|
|
pending_requests: &mut PendingRequests,
|
2018-08-12 16:09:30 -05:00
|
|
|
pool: &ThreadPool,
|
2020-01-29 04:15:08 -06:00
|
|
|
task_sender: &Sender<Task>,
|
2019-08-30 09:24:11 -05:00
|
|
|
msg_sender: &Sender<Message>,
|
2019-05-29 06:59:01 -05:00
|
|
|
request_received: Instant,
|
2019-08-30 09:24:11 -05:00
|
|
|
req: Request,
|
2019-05-31 12:42:53 -05:00
|
|
|
) -> Result<()> {
|
|
|
|
let mut pool_dispatcher = PoolDispatcher {
|
|
|
|
req: Some(req),
|
|
|
|
pool,
|
|
|
|
world,
|
2020-01-29 04:15:08 -06:00
|
|
|
task_sender,
|
2019-05-31 12:42:53 -05:00
|
|
|
msg_sender,
|
|
|
|
pending_requests,
|
|
|
|
request_received,
|
|
|
|
};
|
|
|
|
pool_dispatcher
|
2019-05-31 12:52:09 -05:00
|
|
|
.on_sync::<req::CollectGarbage>(|s, ()| Ok(s.collect_garbage()))?
|
|
|
|
.on_sync::<req::JoinLines>(|s, p| handlers::handle_join_lines(s.snapshot(), p))?
|
|
|
|
.on_sync::<req::OnEnter>(|s, p| handlers::handle_on_enter(s.snapshot(), p))?
|
|
|
|
.on_sync::<req::SelectionRangeRequest>(|s, p| {
|
|
|
|
handlers::handle_selection_range(s.snapshot(), p)
|
|
|
|
})?
|
|
|
|
.on_sync::<req::FindMatchingBrace>(|s, p| {
|
|
|
|
handlers::handle_find_matching_brace(s.snapshot(), p)
|
|
|
|
})?
|
2019-01-22 15:15:03 -06:00
|
|
|
.on::<req::AnalyzerStatus>(handlers::handle_analyzer_status)?
|
2018-08-29 10:03:14 -05:00
|
|
|
.on::<req::SyntaxTree>(handlers::handle_syntax_tree)?
|
2019-11-17 12:47:50 -06:00
|
|
|
.on::<req::ExpandMacro>(handlers::handle_expand_macro)?
|
2018-08-29 10:03:14 -05:00
|
|
|
.on::<req::OnTypeFormatting>(handlers::handle_on_type_formatting)?
|
|
|
|
.on::<req::DocumentSymbolRequest>(handlers::handle_document_symbol)?
|
|
|
|
.on::<req::WorkspaceSymbol>(handlers::handle_workspace_symbol)?
|
|
|
|
.on::<req::GotoDefinition>(handlers::handle_goto_definition)?
|
2019-01-28 08:26:32 -06:00
|
|
|
.on::<req::GotoImplementation>(handlers::handle_goto_implementation)?
|
2019-04-23 13:11:27 -05:00
|
|
|
.on::<req::GotoTypeDefinition>(handlers::handle_goto_type_definition)?
|
2018-08-29 10:03:14 -05:00
|
|
|
.on::<req::ParentModule>(handlers::handle_parent_module)?
|
|
|
|
.on::<req::Runnables>(handlers::handle_runnables)?
|
|
|
|
.on::<req::DecorationsRequest>(handlers::handle_decorations)?
|
|
|
|
.on::<req::Completion>(handlers::handle_completion)?
|
2018-08-31 04:04:33 -05:00
|
|
|
.on::<req::CodeActionRequest>(handlers::handle_code_action)?
|
2019-01-11 14:16:55 -06:00
|
|
|
.on::<req::CodeLensRequest>(handlers::handle_code_lens)?
|
2019-02-01 07:44:23 -06:00
|
|
|
.on::<req::CodeLensResolve>(handlers::handle_code_lens_resolve)?
|
2018-09-23 10:13:27 -05:00
|
|
|
.on::<req::FoldingRangeRequest>(handlers::handle_folding_range)?
|
2018-10-09 09:08:17 -05:00
|
|
|
.on::<req::SignatureHelpRequest>(handlers::handle_signature_help)?
|
2018-11-05 15:37:27 -06:00
|
|
|
.on::<req::HoverRequest>(handlers::handle_hover)?
|
2018-10-19 14:25:10 -05:00
|
|
|
.on::<req::PrepareRenameRequest>(handlers::handle_prepare_rename)?
|
2018-10-18 16:56:22 -05:00
|
|
|
.on::<req::Rename>(handlers::handle_rename)?
|
2018-10-18 12:40:12 -05:00
|
|
|
.on::<req::References>(handlers::handle_references)?
|
2018-12-29 13:09:42 -06:00
|
|
|
.on::<req::Formatting>(handlers::handle_formatting)?
|
2018-12-31 05:08:44 -06:00
|
|
|
.on::<req::DocumentHighlightRequest>(handlers::handle_document_highlight)?
|
2019-07-22 13:52:47 -05:00
|
|
|
.on::<req::InlayHints>(handlers::handle_inlay_hints)?
|
2019-12-30 08:12:06 -06:00
|
|
|
.on::<req::CallHierarchyPrepare>(handlers::handle_call_hierarchy_prepare)?
|
|
|
|
.on::<req::CallHierarchyIncomingCalls>(handlers::handle_call_hierarchy_incoming)?
|
|
|
|
.on::<req::CallHierarchyOutgoingCalls>(handlers::handle_call_hierarchy_outgoing)?
|
2020-02-14 16:56:28 -06:00
|
|
|
.on::<req::SemanticTokensRequest>(handlers::handle_semantic_tokens)?
|
2020-02-25 07:38:50 -06:00
|
|
|
.on::<req::SemanticTokensRangeRequest>(handlers::handle_semantic_tokens_range)?
|
|
|
|
.on::<req::Ssr>(handlers::handle_ssr)?
|
2018-08-31 04:04:33 -05:00
|
|
|
.finish();
|
2019-05-31 12:42:53 -05:00
|
|
|
Ok(())
|
2018-08-12 14:08:14 -05:00
|
|
|
}
|
|
|
|
|
2018-08-12 16:09:30 -05:00
|
|
|
fn on_notification(
|
2019-08-30 09:24:11 -05:00
|
|
|
msg_sender: &Sender<Message>,
|
2019-06-01 02:31:40 -05:00
|
|
|
state: &mut WorldState,
|
2019-05-31 12:14:54 -05:00
|
|
|
pending_requests: &mut PendingRequests,
|
2018-08-30 08:27:09 -05:00
|
|
|
subs: &mut Subscriptions,
|
2019-08-30 09:24:11 -05:00
|
|
|
not: Notification,
|
2018-08-12 16:09:30 -05:00
|
|
|
) -> Result<()> {
|
2019-08-30 09:24:11 -05:00
|
|
|
let not = match notification_cast::<req::Cancel>(not) {
|
2018-09-01 09:40:45 -05:00
|
|
|
Ok(params) => {
|
2019-08-30 09:24:11 -05:00
|
|
|
let id: RequestId = match params.id {
|
|
|
|
NumberOrString::Number(id) => id.into(),
|
|
|
|
NumberOrString::String(id) => id.into(),
|
2018-09-01 09:40:45 -05:00
|
|
|
};
|
2019-08-30 09:24:11 -05:00
|
|
|
if pending_requests.cancel(&id) {
|
|
|
|
let response = Response::new_err(
|
2018-12-09 05:43:02 -06:00
|
|
|
id,
|
2019-01-08 17:47:12 -06:00
|
|
|
ErrorCode::RequestCanceled as i32,
|
2018-12-09 05:43:02 -06:00
|
|
|
"canceled by client".to_string(),
|
|
|
|
);
|
2019-03-05 07:24:59 -06:00
|
|
|
msg_sender.send(response.into()).unwrap()
|
2018-12-09 05:43:02 -06:00
|
|
|
}
|
2018-10-15 16:44:23 -05:00
|
|
|
return Ok(());
|
2018-08-31 04:04:33 -05:00
|
|
|
}
|
2018-09-01 09:40:45 -05:00
|
|
|
Err(not) => not,
|
|
|
|
};
|
2019-08-30 09:24:11 -05:00
|
|
|
let not = match notification_cast::<req::DidOpenTextDocument>(not) {
|
2018-09-01 09:40:45 -05:00
|
|
|
Ok(params) => {
|
|
|
|
let uri = params.text_document.uri;
|
2019-06-14 15:42:56 -05:00
|
|
|
let path = uri.to_file_path().map_err(|()| format!("invalid uri: {}", uri))?;
|
2019-02-08 05:49:43 -06:00
|
|
|
if let Some(file_id) =
|
|
|
|
state.vfs.write().add_file_overlay(&path, params.text_document.text)
|
2018-12-19 06:04:15 -06:00
|
|
|
{
|
2019-06-03 09:21:08 -05:00
|
|
|
subs.add_sub(FileId(file_id.0));
|
2018-12-19 06:04:15 -06:00
|
|
|
}
|
2018-10-15 16:44:23 -05:00
|
|
|
return Ok(());
|
2018-09-01 09:40:45 -05:00
|
|
|
}
|
|
|
|
Err(not) => not,
|
|
|
|
};
|
2019-08-30 09:24:11 -05:00
|
|
|
let not = match notification_cast::<req::DidChangeTextDocument>(not) {
|
2018-09-01 09:40:45 -05:00
|
|
|
Ok(mut params) => {
|
|
|
|
let uri = params.text_document.uri;
|
2019-06-14 15:42:56 -05:00
|
|
|
let path = uri.to_file_path().map_err(|()| format!("invalid uri: {}", uri))?;
|
2019-07-04 12:26:44 -05:00
|
|
|
let text =
|
|
|
|
params.content_changes.pop().ok_or_else(|| "empty changes".to_string())?.text;
|
2018-12-19 06:04:15 -06:00
|
|
|
state.vfs.write().change_file_overlay(path.as_path(), text);
|
2018-10-15 16:44:23 -05:00
|
|
|
return Ok(());
|
2018-09-01 09:40:45 -05:00
|
|
|
}
|
|
|
|
Err(not) => not,
|
|
|
|
};
|
2019-12-25 05:21:38 -06:00
|
|
|
let not = match notification_cast::<req::DidSaveTextDocument>(not) {
|
|
|
|
Ok(_params) => {
|
2020-03-30 04:46:04 -05:00
|
|
|
if let Some(check_watcher) = &state.check_watcher {
|
|
|
|
check_watcher.update();
|
|
|
|
}
|
2019-12-25 05:21:38 -06:00
|
|
|
return Ok(());
|
|
|
|
}
|
|
|
|
Err(not) => not,
|
|
|
|
};
|
2019-08-30 09:24:11 -05:00
|
|
|
let not = match notification_cast::<req::DidCloseTextDocument>(not) {
|
2018-09-01 09:40:45 -05:00
|
|
|
Ok(params) => {
|
|
|
|
let uri = params.text_document.uri;
|
2019-06-14 15:42:56 -05:00
|
|
|
let path = uri.to_file_path().map_err(|()| format!("invalid uri: {}", uri))?;
|
2018-12-19 06:04:15 -06:00
|
|
|
if let Some(file_id) = state.vfs.write().remove_file_overlay(path.as_path()) {
|
2019-06-03 09:21:08 -05:00
|
|
|
subs.remove_sub(FileId(file_id.0));
|
2018-12-19 06:04:15 -06:00
|
|
|
}
|
2019-12-11 11:34:01 -06:00
|
|
|
let params =
|
|
|
|
req::PublishDiagnosticsParams { uri, diagnostics: Vec::new(), version: None };
|
2019-08-30 09:24:11 -05:00
|
|
|
let not = notification_new::<req::PublishDiagnostics>(params);
|
2019-03-05 07:24:59 -06:00
|
|
|
msg_sender.send(not.into()).unwrap();
|
2018-10-15 16:44:23 -05:00
|
|
|
return Ok(());
|
2018-09-01 09:40:45 -05:00
|
|
|
}
|
|
|
|
Err(not) => not,
|
|
|
|
};
|
2019-08-30 09:24:11 -05:00
|
|
|
let not = match notification_cast::<req::DidChangeConfiguration>(not) {
|
2019-07-10 22:44:23 -05:00
|
|
|
Ok(_params) => {
|
2020-03-18 18:39:12 -05:00
|
|
|
dbg!(_params);
|
|
|
|
// let request = request_new::<req::WorkspaceConfiguration>(
|
|
|
|
// loop_state.next_request_id(),
|
|
|
|
// ConfigurationParams::default(),
|
|
|
|
// );
|
|
|
|
// let zz = connection.sender.send(request.into()).unwrap();
|
2019-07-10 22:44:23 -05:00
|
|
|
return Ok(());
|
|
|
|
}
|
2020-03-18 18:39:12 -05:00
|
|
|
Err(not) => dbg!(not),
|
2019-07-10 22:44:23 -05:00
|
|
|
};
|
2019-09-06 08:25:24 -05:00
|
|
|
let not = match notification_cast::<req::DidChangeWatchedFiles>(not) {
|
|
|
|
Ok(params) => {
|
|
|
|
let mut vfs = state.vfs.write();
|
|
|
|
for change in params.changes {
|
|
|
|
let uri = change.uri;
|
|
|
|
let path = uri.to_file_path().map_err(|()| format!("invalid uri: {}", uri))?;
|
|
|
|
vfs.notify_changed(path)
|
|
|
|
}
|
|
|
|
return Ok(());
|
|
|
|
}
|
|
|
|
Err(not) => not,
|
|
|
|
};
|
2020-03-09 03:26:41 -05:00
|
|
|
if not.method.starts_with("$/") {
|
|
|
|
return Ok(());
|
|
|
|
}
|
2018-12-06 12:03:39 -06:00
|
|
|
log::error!("unhandled notification: {:?}", not);
|
2018-08-12 16:09:30 -05:00
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
2020-01-15 09:33:58 -06:00
|
|
|
fn on_check_task(
|
|
|
|
task: CheckTask,
|
2020-01-23 02:26:08 -06:00
|
|
|
world_state: &mut WorldState,
|
2020-01-15 09:33:58 -06:00
|
|
|
task_sender: &Sender<Task>,
|
|
|
|
) -> Result<()> {
|
2020-01-31 12:23:25 -06:00
|
|
|
match task {
|
2020-01-15 09:33:58 -06:00
|
|
|
CheckTask::ClearDiagnostics => {
|
2020-01-31 12:23:25 -06:00
|
|
|
task_sender.send(Task::Diagnostic(DiagnosticTask::ClearCheck))?;
|
2020-01-15 09:33:58 -06:00
|
|
|
}
|
|
|
|
|
2020-01-31 12:23:25 -06:00
|
|
|
CheckTask::AddDiagnostic { url, diagnostic, fixes } => {
|
|
|
|
let path = url.to_file_path().map_err(|()| format!("invalid uri: {}", url))?;
|
2020-02-07 05:30:29 -06:00
|
|
|
let file_id = match world_state.vfs.read().path2file(&path) {
|
|
|
|
Some(file) => FileId(file.0),
|
|
|
|
None => {
|
2020-02-07 05:35:36 -06:00
|
|
|
log::error!("File with cargo diagnostic not found in VFS: {}", path.display());
|
2020-02-07 05:30:29 -06:00
|
|
|
return Ok(());
|
|
|
|
}
|
|
|
|
};
|
2020-01-31 12:23:25 -06:00
|
|
|
|
|
|
|
task_sender
|
|
|
|
.send(Task::Diagnostic(DiagnosticTask::AddCheck(file_id, diagnostic, fixes)))?;
|
2020-01-15 09:33:58 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
CheckTask::Status(progress) => {
|
|
|
|
let params = req::ProgressParams {
|
|
|
|
token: req::ProgressToken::String("rustAnalyzer/cargoWatcher".to_string()),
|
|
|
|
value: req::ProgressParamsValue::WorkDone(progress),
|
|
|
|
};
|
|
|
|
let not = notification_new::<req::Progress>(params);
|
|
|
|
task_sender.send(Task::Notify(not)).unwrap();
|
|
|
|
}
|
2020-01-29 03:46:56 -06:00
|
|
|
};
|
|
|
|
|
2020-01-31 12:23:25 -06:00
|
|
|
Ok(())
|
|
|
|
}
|
2020-01-29 03:46:56 -06:00
|
|
|
|
2020-01-31 12:23:25 -06:00
|
|
|
fn on_diagnostic_task(task: DiagnosticTask, msg_sender: &Sender<Message>, state: &mut WorldState) {
|
|
|
|
let subscriptions = state.diagnostics.handle_task(task);
|
2020-01-15 09:33:58 -06:00
|
|
|
|
2020-01-31 12:23:25 -06:00
|
|
|
for file_id in subscriptions {
|
|
|
|
let path = state.vfs.read().file2path(VfsFile(file_id.0));
|
|
|
|
let uri = match url_from_path_with_drive_lowercasing(&path) {
|
|
|
|
Ok(uri) => uri,
|
|
|
|
Err(err) => {
|
|
|
|
log::error!("Couldn't convert path to url ({}): {:?}", err, path.to_string_lossy());
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
let diagnostics = state.diagnostics.diagnostics_for(file_id).cloned().collect();
|
|
|
|
let params = req::PublishDiagnosticsParams { uri, diagnostics, version: None };
|
|
|
|
let not = notification_new::<req::PublishDiagnostics>(params);
|
|
|
|
msg_sender.send(not.into()).unwrap();
|
|
|
|
}
|
2020-01-15 09:33:58 -06:00
|
|
|
}
|
|
|
|
|
2020-03-28 17:33:16 -05:00
|
|
|
fn send_startup_progress(sender: &Sender<Message>, loop_state: &mut LoopState) {
|
|
|
|
let total: usize = loop_state.roots_total;
|
2020-03-29 13:39:03 -05:00
|
|
|
let prev = loop_state.roots_progress_reported;
|
|
|
|
let progress = loop_state.roots_scanned;
|
|
|
|
loop_state.roots_progress_reported = Some(progress);
|
2020-03-13 18:03:02 -05:00
|
|
|
|
2020-03-29 13:39:03 -05:00
|
|
|
match (prev, loop_state.workspace_loaded) {
|
2020-03-16 01:32:28 -05:00
|
|
|
(None, false) => {
|
|
|
|
let work_done_progress_create = request_new::<req::WorkDoneProgressCreate>(
|
|
|
|
loop_state.next_request_id(),
|
|
|
|
WorkDoneProgressCreateParams {
|
|
|
|
token: req::ProgressToken::String("rustAnalyzer/startup".into()),
|
|
|
|
},
|
|
|
|
);
|
|
|
|
sender.send(work_done_progress_create.into()).unwrap();
|
|
|
|
send_startup_progress_notif(
|
|
|
|
sender,
|
|
|
|
WorkDoneProgress::Begin(WorkDoneProgressBegin {
|
|
|
|
title: "rust-analyzer".into(),
|
|
|
|
cancellable: None,
|
|
|
|
message: Some(format!("{}/{} packages", progress, total)),
|
|
|
|
percentage: Some(100.0 * progress as f64 / total as f64),
|
|
|
|
}),
|
|
|
|
);
|
|
|
|
}
|
|
|
|
(Some(prev), false) if progress != prev => send_startup_progress_notif(
|
2020-03-13 18:03:02 -05:00
|
|
|
sender,
|
|
|
|
WorkDoneProgress::Report(WorkDoneProgressReport {
|
|
|
|
cancellable: None,
|
|
|
|
message: Some(format!("{}/{} packages", progress, total)),
|
2020-03-13 18:27:39 -05:00
|
|
|
percentage: Some(100.0 * progress as f64 / total as f64),
|
2020-03-13 18:03:02 -05:00
|
|
|
}),
|
2020-03-16 01:32:28 -05:00
|
|
|
),
|
|
|
|
(_, true) => send_startup_progress_notif(
|
2020-03-15 23:44:27 -05:00
|
|
|
sender,
|
|
|
|
WorkDoneProgress::End(WorkDoneProgressEnd {
|
|
|
|
message: Some(format!("rust-analyzer loaded, {} packages", progress)),
|
|
|
|
}),
|
2020-03-16 01:32:28 -05:00
|
|
|
),
|
|
|
|
_ => {}
|
2020-03-13 18:03:02 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn send_startup_progress_notif(sender: &Sender<Message>, work_done_progress: WorkDoneProgress) {
|
|
|
|
let notif = notification_new::<req::Progress>(req::ProgressParams {
|
|
|
|
token: req::ProgressToken::String("rustAnalyzer/startup".into()),
|
|
|
|
value: req::ProgressParamsValue::WorkDone(work_done_progress),
|
|
|
|
});
|
|
|
|
sender.send(notif.into()).unwrap();
|
|
|
|
}
|
|
|
|
|
2018-08-29 10:03:14 -05:00
|
|
|
struct PoolDispatcher<'a> {
|
2019-08-30 09:24:11 -05:00
|
|
|
req: Option<Request>,
|
2018-08-29 10:03:14 -05:00
|
|
|
pool: &'a ThreadPool,
|
2019-06-01 02:31:40 -05:00
|
|
|
world: &'a mut WorldState,
|
2019-05-31 12:42:53 -05:00
|
|
|
pending_requests: &'a mut PendingRequests,
|
2019-08-30 09:24:11 -05:00
|
|
|
msg_sender: &'a Sender<Message>,
|
2020-01-29 04:15:08 -06:00
|
|
|
task_sender: &'a Sender<Task>,
|
2019-05-31 12:42:53 -05:00
|
|
|
request_received: Instant,
|
2018-08-29 10:03:14 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> PoolDispatcher<'a> {
|
2019-05-31 12:52:09 -05:00
|
|
|
/// Dispatches the request onto the current thread
|
2019-05-31 12:50:16 -05:00
|
|
|
fn on_sync<R>(
|
|
|
|
&mut self,
|
2019-06-01 02:31:40 -05:00
|
|
|
f: fn(&mut WorldState, R::Params) -> Result<R::Result>,
|
2019-05-31 12:50:16 -05:00
|
|
|
) -> Result<&mut Self>
|
2018-10-15 16:44:23 -05:00
|
|
|
where
|
2019-05-29 08:05:14 -05:00
|
|
|
R: req::Request + 'static,
|
2019-10-24 01:52:32 -05:00
|
|
|
R::Params: DeserializeOwned + panic::UnwindSafe + 'static,
|
2018-10-15 16:44:23 -05:00
|
|
|
R::Result: Serialize + 'static,
|
2018-09-01 09:40:45 -05:00
|
|
|
{
|
2019-05-31 12:50:16 -05:00
|
|
|
let (id, params) = match self.parse::<R>() {
|
|
|
|
Some(it) => it,
|
|
|
|
None => {
|
2019-05-31 12:23:56 -05:00
|
|
|
return Ok(self);
|
2018-09-01 09:40:45 -05:00
|
|
|
}
|
2019-05-31 12:23:56 -05:00
|
|
|
};
|
2019-10-24 01:52:32 -05:00
|
|
|
let world = panic::AssertUnwindSafe(&mut *self.world);
|
|
|
|
let task = panic::catch_unwind(move || {
|
|
|
|
let result = f(world.0, params);
|
|
|
|
result_to_task::<R>(id, result)
|
|
|
|
})
|
|
|
|
.map_err(|_| format!("sync task {:?} panicked", R::METHOD))?;
|
2019-05-31 12:50:16 -05:00
|
|
|
on_task(task, self.msg_sender, self.pending_requests, self.world);
|
|
|
|
Ok(self)
|
|
|
|
}
|
2019-05-31 12:23:56 -05:00
|
|
|
|
2019-05-31 12:52:09 -05:00
|
|
|
/// Dispatches the request onto thread pool
|
2019-06-01 02:31:40 -05:00
|
|
|
fn on<R>(&mut self, f: fn(WorldSnapshot, R::Params) -> Result<R::Result>) -> Result<&mut Self>
|
2019-05-31 12:50:16 -05:00
|
|
|
where
|
|
|
|
R: req::Request + 'static,
|
|
|
|
R::Params: DeserializeOwned + Send + 'static,
|
|
|
|
R::Result: Serialize + 'static,
|
|
|
|
{
|
|
|
|
let (id, params) = match self.parse::<R>() {
|
|
|
|
Some(it) => it,
|
|
|
|
None => {
|
|
|
|
return Ok(self);
|
|
|
|
}
|
|
|
|
};
|
2019-05-31 12:23:56 -05:00
|
|
|
|
2019-05-31 12:30:14 -05:00
|
|
|
self.pool.execute({
|
|
|
|
let world = self.world.snapshot();
|
2020-01-29 04:15:08 -06:00
|
|
|
let sender = self.task_sender.clone();
|
2019-05-31 12:30:14 -05:00
|
|
|
move || {
|
|
|
|
let result = f(world, params);
|
|
|
|
let task = result_to_task::<R>(id, result);
|
|
|
|
sender.send(task).unwrap();
|
|
|
|
}
|
2019-05-31 12:23:56 -05:00
|
|
|
});
|
2019-05-31 12:30:14 -05:00
|
|
|
|
2018-08-29 10:03:14 -05:00
|
|
|
Ok(self)
|
|
|
|
}
|
2018-08-31 04:04:33 -05:00
|
|
|
|
2019-08-30 09:24:11 -05:00
|
|
|
fn parse<R>(&mut self) -> Option<(RequestId, R::Params)>
|
2019-05-31 12:50:16 -05:00
|
|
|
where
|
|
|
|
R: req::Request + 'static,
|
2019-10-24 01:52:32 -05:00
|
|
|
R::Params: DeserializeOwned + 'static,
|
2019-05-31 12:50:16 -05:00
|
|
|
{
|
|
|
|
let req = self.req.take()?;
|
2019-08-30 09:24:11 -05:00
|
|
|
let (id, params) = match req.extract::<R::Params>(R::METHOD) {
|
2019-05-31 12:50:16 -05:00
|
|
|
Ok(it) => it,
|
|
|
|
Err(req) => {
|
|
|
|
self.req = Some(req);
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
self.pending_requests.start(PendingRequest {
|
2019-08-30 09:24:11 -05:00
|
|
|
id: id.clone(),
|
2019-05-31 12:50:16 -05:00
|
|
|
method: R::METHOD.to_string(),
|
|
|
|
received: self.request_received,
|
|
|
|
});
|
|
|
|
Some((id, params))
|
|
|
|
}
|
|
|
|
|
2019-05-31 12:42:53 -05:00
|
|
|
fn finish(&mut self) {
|
|
|
|
match self.req.take() {
|
|
|
|
None => (),
|
|
|
|
Some(req) => {
|
|
|
|
log::error!("unknown request: {:?}", req);
|
2019-08-30 09:24:11 -05:00
|
|
|
let resp = Response::new_err(
|
2019-05-31 12:42:53 -05:00
|
|
|
req.id,
|
|
|
|
ErrorCode::MethodNotFound as i32,
|
|
|
|
"unknown request".to_string(),
|
|
|
|
);
|
|
|
|
self.msg_sender.send(resp.into()).unwrap();
|
|
|
|
}
|
2018-08-31 04:04:33 -05:00
|
|
|
}
|
|
|
|
}
|
2018-08-12 14:08:14 -05:00
|
|
|
}
|
|
|
|
|
2019-08-30 09:24:11 -05:00
|
|
|
fn result_to_task<R>(id: RequestId, result: Result<R::Result>) -> Task
|
2019-05-31 12:30:14 -05:00
|
|
|
where
|
|
|
|
R: req::Request + 'static,
|
2019-10-24 01:52:32 -05:00
|
|
|
R::Params: DeserializeOwned + 'static,
|
2019-05-31 12:30:14 -05:00
|
|
|
R::Result: Serialize + 'static,
|
|
|
|
{
|
|
|
|
let response = match result {
|
2019-08-30 09:24:11 -05:00
|
|
|
Ok(resp) => Response::new_ok(id, &resp),
|
2019-05-31 12:30:14 -05:00
|
|
|
Err(e) => match e.downcast::<LspError>() {
|
2020-03-09 04:54:14 -05:00
|
|
|
Ok(lsp_error) => {
|
|
|
|
if lsp_error.code == LspError::UNKNOWN_FILE {
|
|
|
|
// Work-around for https://github.com/rust-analyzer/rust-analyzer/issues/1521
|
|
|
|
Response::new_ok(id, ())
|
|
|
|
} else {
|
|
|
|
Response::new_err(id, lsp_error.code, lsp_error.message)
|
|
|
|
}
|
|
|
|
}
|
2019-05-31 12:30:14 -05:00
|
|
|
Err(e) => {
|
|
|
|
if is_canceled(&e) {
|
2019-12-30 15:18:16 -06:00
|
|
|
Response::new_err(
|
|
|
|
id,
|
|
|
|
ErrorCode::ContentModified as i32,
|
|
|
|
"content modified".to_string(),
|
|
|
|
)
|
2019-05-31 12:30:14 -05:00
|
|
|
} else {
|
2019-08-30 09:24:11 -05:00
|
|
|
Response::new_err(id, ErrorCode::InternalError as i32, e.to_string())
|
2019-05-31 12:30:14 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
},
|
|
|
|
};
|
|
|
|
Task::Respond(response)
|
|
|
|
}
|
|
|
|
|
2018-08-12 14:08:14 -05:00
|
|
|
fn update_file_notifications_on_threadpool(
|
|
|
|
pool: &ThreadPool,
|
2019-06-01 02:31:40 -05:00
|
|
|
world: WorldSnapshot,
|
2018-11-08 09:43:02 -06:00
|
|
|
publish_decorations: bool,
|
2020-01-29 04:15:08 -06:00
|
|
|
task_sender: Sender<Task>,
|
2018-08-30 08:27:09 -05:00
|
|
|
subscriptions: Vec<FileId>,
|
2018-08-12 14:08:14 -05:00
|
|
|
) {
|
2019-08-21 09:30:58 -05:00
|
|
|
log::trace!("updating notifications for {:?}", subscriptions);
|
2020-03-10 12:56:15 -05:00
|
|
|
let publish_diagnostics = world.feature_flags.get("lsp.diagnostics");
|
2018-12-09 04:13:36 -06:00
|
|
|
pool.execute(move || {
|
2018-08-30 08:27:09 -05:00
|
|
|
for file_id in subscriptions {
|
2019-08-22 06:44:16 -05:00
|
|
|
if publish_diagnostics {
|
|
|
|
match handlers::publish_diagnostics(&world, file_id) {
|
|
|
|
Err(e) => {
|
|
|
|
if !is_canceled(&e) {
|
|
|
|
log::error!("failed to compute diagnostics: {:?}", e);
|
|
|
|
}
|
|
|
|
}
|
2020-01-31 12:23:25 -06:00
|
|
|
Ok(task) => {
|
|
|
|
task_sender.send(Task::Diagnostic(task)).unwrap();
|
2018-10-25 08:03:49 -05:00
|
|
|
}
|
2018-08-30 08:27:09 -05:00
|
|
|
}
|
2018-08-12 14:08:14 -05:00
|
|
|
}
|
2018-11-08 09:43:02 -06:00
|
|
|
if publish_decorations {
|
|
|
|
match handlers::publish_decorations(&world, file_id) {
|
|
|
|
Err(e) => {
|
|
|
|
if !is_canceled(&e) {
|
2018-12-06 12:03:39 -06:00
|
|
|
log::error!("failed to compute decorations: {:?}", e);
|
2018-11-08 09:43:02 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
Ok(params) => {
|
2019-08-30 09:24:11 -05:00
|
|
|
let not = notification_new::<req::PublishDecorations>(params);
|
2020-01-29 04:15:08 -06:00
|
|
|
task_sender.send(Task::Notify(not)).unwrap();
|
2018-10-25 08:03:49 -05:00
|
|
|
}
|
2018-08-30 08:27:09 -05:00
|
|
|
}
|
2018-08-12 14:08:14 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
2018-09-03 15:32:42 -05:00
|
|
|
|
2019-08-30 09:24:11 -05:00
|
|
|
pub fn show_message(typ: req::MessageType, message: impl Into<String>, sender: &Sender<Message>) {
|
2019-03-07 08:46:17 -06:00
|
|
|
let message = message.into();
|
|
|
|
let params = req::ShowMessageParams { typ, message };
|
2019-08-30 09:24:11 -05:00
|
|
|
let not = notification_new::<req::ShowMessage>(params);
|
2019-03-05 07:24:59 -06:00
|
|
|
sender.send(not.into()).unwrap();
|
2018-09-03 15:32:42 -05:00
|
|
|
}
|
2018-10-25 08:03:49 -05:00
|
|
|
|
2019-06-14 15:42:56 -05:00
|
|
|
fn is_canceled(e: &Box<dyn std::error::Error + Send + Sync>) -> bool {
|
2018-10-25 08:03:49 -05:00
|
|
|
e.downcast_ref::<Canceled>().is_some()
|
|
|
|
}
|
2019-08-30 09:24:11 -05:00
|
|
|
|
|
|
|
fn notification_is<N: lsp_types::notification::Notification>(notification: &Notification) -> bool {
|
|
|
|
notification.method == N::METHOD
|
|
|
|
}
|
|
|
|
|
|
|
|
fn notification_cast<N>(notification: Notification) -> std::result::Result<N::Params, Notification>
|
|
|
|
where
|
|
|
|
N: lsp_types::notification::Notification,
|
|
|
|
N::Params: DeserializeOwned,
|
|
|
|
{
|
|
|
|
notification.extract(N::METHOD)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn notification_new<N>(params: N::Params) -> Notification
|
|
|
|
where
|
|
|
|
N: lsp_types::notification::Notification,
|
|
|
|
N::Params: Serialize,
|
|
|
|
{
|
|
|
|
Notification::new(N::METHOD.to_string(), params)
|
|
|
|
}
|
2019-09-06 08:25:24 -05:00
|
|
|
|
|
|
|
fn request_new<R>(id: RequestId, params: R::Params) -> Request
|
|
|
|
where
|
|
|
|
R: lsp_types::request::Request,
|
|
|
|
R::Params: Serialize,
|
|
|
|
{
|
|
|
|
Request::new(id, R::METHOD.to_string(), params)
|
|
|
|
}
|