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
|
|
|
|
2019-05-31 12:50:16 -05:00
|
|
|
use std::{fmt, path::PathBuf, sync::Arc, time::Instant};
|
2018-08-12 16:09:30 -05:00
|
|
|
|
2019-01-06 02:41:11 -06:00
|
|
|
use crossbeam_channel::{select, unbounded, Receiver, RecvError, Sender};
|
|
|
|
use failure::{bail, format_err};
|
|
|
|
use failure_derive::Fail;
|
2018-09-01 12:21:11 -05:00
|
|
|
use gen_lsp_server::{
|
2018-10-15 16:44:23 -05:00
|
|
|
handle_shutdown, ErrorCode, RawMessage, RawNotification, RawRequest, RawResponse,
|
2018-09-01 12:21:11 -05:00
|
|
|
};
|
2019-01-14 04:55:56 -06:00
|
|
|
use lsp_types::NumberOrString;
|
2019-01-08 13:33:36 -06:00
|
|
|
use ra_ide_api::{Canceled, FileId, LibraryData};
|
2018-12-24 09:00:18 -06:00
|
|
|
use ra_vfs::VfsTask;
|
2018-10-15 16:44:23 -05:00
|
|
|
use serde::{de::DeserializeOwned, Serialize};
|
2019-01-06 02:41:11 -06:00
|
|
|
use threadpool::ThreadPool;
|
2019-05-31 11:17:46 -05:00
|
|
|
use ra_prof::profile;
|
2018-08-12 16:09:30 -05:00
|
|
|
|
2018-10-15 12:15:53 -05:00
|
|
|
use crate::{
|
2019-05-31 12:14:54 -05:00
|
|
|
main_loop::{
|
|
|
|
subscriptions::Subscriptions,
|
|
|
|
pending_requests::{PendingRequests, PendingRequest},
|
|
|
|
},
|
2018-12-24 09:00:18 -06:00
|
|
|
project_model::workspace_loader,
|
2018-09-01 09:40:45 -05:00
|
|
|
req,
|
2019-05-31 12:14:54 -05:00
|
|
|
server_world::{ServerWorld, ServerWorldState},
|
2018-10-15 16:44:23 -05:00
|
|
|
Result,
|
2019-03-06 03:34:38 -06:00
|
|
|
InitializationOptions,
|
2018-08-12 14:08:14 -05:00
|
|
|
};
|
|
|
|
|
2019-05-31 11:20:22 -05:00
|
|
|
const THREADPOOL_SIZE: usize = 8;
|
|
|
|
const MAX_IN_FLIGHT_LIBS: usize = THREADPOOL_SIZE - 3;
|
|
|
|
|
2018-10-22 12:49:27 -05:00
|
|
|
#[derive(Debug, Fail)]
|
2019-02-08 05:49:43 -06:00
|
|
|
#[fail(display = "Language Server request failed with {}. ({})", code, message)]
|
2018-10-22 12:49:27 -05:00
|
|
|
pub struct LspError {
|
|
|
|
pub code: i32,
|
|
|
|
pub message: String,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl LspError {
|
|
|
|
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
|
|
|
}
|
|
|
|
}
|
|
|
|
|
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-03-06 03:34:38 -06:00
|
|
|
options: InitializationOptions,
|
2018-10-22 12:55:17 -05:00
|
|
|
msg_receiver: &Receiver<RawMessage>,
|
2018-10-09 04:55:23 -05:00
|
|
|
msg_sender: &Sender<RawMessage>,
|
2018-08-12 14:08:14 -05:00
|
|
|
) -> Result<()> {
|
2018-12-19 06:04:15 -06:00
|
|
|
// FIXME: support dynamic workspace loading.
|
2019-02-14 11:43:45 -06:00
|
|
|
let workspaces = {
|
|
|
|
let ws_worker = workspace_loader();
|
2019-04-11 01:08:19 -05:00
|
|
|
let mut loaded_workspaces = Vec::new();
|
|
|
|
for ws_root in &ws_roots {
|
|
|
|
ws_worker.sender().send(ws_root.clone()).unwrap();
|
|
|
|
match ws_worker.receiver().recv().unwrap() {
|
|
|
|
Ok(ws) => loaded_workspaces.push(ws),
|
|
|
|
Err(e) => {
|
|
|
|
log::error!("loading workspace failed: {}", e);
|
2019-03-05 13:59:01 -06:00
|
|
|
|
2019-04-11 01:08:19 -05:00
|
|
|
show_message(
|
|
|
|
req::MessageType::Error,
|
|
|
|
format!("rust-analyzer failed to load workspace: {}", e),
|
|
|
|
msg_sender,
|
|
|
|
);
|
|
|
|
}
|
2019-02-14 11:43:45 -06:00
|
|
|
}
|
2018-12-19 06:04:15 -06:00
|
|
|
}
|
2019-04-11 01:08:19 -05:00
|
|
|
loaded_workspaces
|
2018-12-19 06:04:15 -06:00
|
|
|
};
|
2019-02-14 11:43:45 -06:00
|
|
|
|
2019-04-11 01:08:19 -05:00
|
|
|
let mut state = ServerWorldState::new(ws_roots, workspaces);
|
2018-12-19 06:04:15 -06:00
|
|
|
|
2019-05-31 12:14:54 -05:00
|
|
|
let pool = ThreadPool::new(THREADPOOL_SIZE);
|
|
|
|
let (task_sender, task_receiver) = unbounded::<Task>();
|
|
|
|
let mut pending_requests = PendingRequests::default();
|
2018-08-17 11:54:08 -05:00
|
|
|
|
2019-05-31 12:14:54 -05:00
|
|
|
log::info!("server initialized, serving requests");
|
2018-09-02 06:46:15 -05:00
|
|
|
let main_res = main_loop_inner(
|
2019-03-06 03:34:38 -06:00
|
|
|
options,
|
2018-09-01 09:40:45 -05:00
|
|
|
&pool,
|
2018-09-01 10:03:57 -05:00
|
|
|
msg_sender,
|
2018-10-22 12:55:17 -05:00
|
|
|
msg_receiver,
|
2018-09-01 09:40:45 -05:00
|
|
|
task_sender,
|
2018-09-03 13:03:37 -05:00
|
|
|
task_receiver.clone(),
|
2018-09-01 09:40:45 -05:00
|
|
|
&mut state,
|
|
|
|
&mut pending_requests,
|
2018-09-01 12:21:11 -05:00
|
|
|
);
|
2018-09-01 09:40:45 -05:00
|
|
|
|
2018-12-06 12:03:39 -06:00
|
|
|
log::info!("waiting for tasks to finish...");
|
2019-05-29 07:42:14 -05:00
|
|
|
task_receiver
|
|
|
|
.into_iter()
|
|
|
|
.for_each(|task| on_task(task, msg_sender, &mut pending_requests, &mut state));
|
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
|
|
|
|
2018-12-19 06:04:15 -06:00
|
|
|
let vfs = Arc::try_unwrap(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-02-14 11:43:45 -06:00
|
|
|
main_res
|
2018-09-01 09:40:45 -05:00
|
|
|
}
|
|
|
|
|
2019-05-31 12:14:54 -05:00
|
|
|
#[derive(Debug)]
|
|
|
|
enum Task {
|
|
|
|
Respond(RawResponse),
|
|
|
|
Notify(RawNotification),
|
|
|
|
}
|
|
|
|
|
2018-12-22 03:13:20 -06:00
|
|
|
enum Event {
|
|
|
|
Msg(RawMessage),
|
|
|
|
Task(Task),
|
|
|
|
Vfs(VfsTask),
|
|
|
|
Lib(LibraryData),
|
|
|
|
}
|
|
|
|
|
|
|
|
impl fmt::Debug for Event {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
let debug_verbose_not = |not: &RawNotification, f: &mut fmt::Formatter| {
|
2019-02-08 05:49:43 -06:00
|
|
|
f.debug_struct("RawNotification").field("method", ¬.method).finish()
|
2018-12-22 03:13:20 -06:00
|
|
|
};
|
|
|
|
|
|
|
|
match self {
|
|
|
|
Event::Msg(RawMessage::Notification(not)) => {
|
|
|
|
if not.is::<req::DidOpenTextDocument>() || not.is::<req::DidChangeTextDocument>() {
|
|
|
|
return debug_verbose_not(not, f);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Event::Task(Task::Notify(not)) => {
|
|
|
|
if not.is::<req::PublishDecorations>() || not.is::<req::PublishDiagnostics>() {
|
|
|
|
return debug_verbose_not(not, f);
|
|
|
|
}
|
|
|
|
}
|
2018-12-22 06:09:08 -06:00
|
|
|
Event::Task(Task::Respond(resp)) => {
|
|
|
|
return f
|
|
|
|
.debug_struct("RawResponse")
|
|
|
|
.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),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-09-01 09:40:45 -05:00
|
|
|
fn main_loop_inner(
|
2019-03-06 03:34:38 -06:00
|
|
|
options: InitializationOptions,
|
2018-09-01 09:40:45 -05:00
|
|
|
pool: &ThreadPool,
|
2018-10-09 04:55:23 -05:00
|
|
|
msg_sender: &Sender<RawMessage>,
|
|
|
|
msg_receiver: &Receiver<RawMessage>,
|
2018-09-01 09:40:45 -05:00
|
|
|
task_sender: Sender<Task>,
|
2018-09-03 13:03:37 -05:00
|
|
|
task_receiver: Receiver<Task>,
|
2018-09-01 09:40:45 -05:00
|
|
|
state: &mut ServerWorldState,
|
2019-05-31 12:14:54 -05:00
|
|
|
pending_requests: &mut PendingRequests,
|
2018-09-01 12:21:11 -05:00
|
|
|
) -> Result<()> {
|
2019-06-01 02:24:43 -05:00
|
|
|
let mut subs = Subscriptions::default();
|
2019-05-31 11:20:22 -05:00
|
|
|
// We try not to index more than MAX_IN_FLIGHT_LIBS libraries at the same
|
2019-01-11 07:58:01 -06:00
|
|
|
// time to always have a thread ready to react to input.
|
|
|
|
let mut in_flight_libraries = 0;
|
|
|
|
let mut pending_libraries = Vec::new();
|
2019-03-05 13:59:01 -06:00
|
|
|
let mut send_workspace_notification = true;
|
2019-01-11 07:58:01 -06:00
|
|
|
|
2018-09-03 20:13:22 -05:00
|
|
|
let (libdata_sender, libdata_receiver) = unbounded();
|
2018-08-12 14:08:14 -05:00
|
|
|
loop {
|
2018-12-06 12:03:39 -06:00
|
|
|
log::trace!("selecting");
|
2018-08-12 14:08:14 -05:00
|
|
|
let event = select! {
|
2018-12-30 14:23:31 -06:00
|
|
|
recv(msg_receiver) -> msg => match msg {
|
|
|
|
Ok(msg) => Event::Msg(msg),
|
|
|
|
Err(RecvError) => bail!("client exited without shutdown"),
|
2018-08-12 14:08:14 -05:00
|
|
|
},
|
2018-12-30 14:23:31 -06:00
|
|
|
recv(task_receiver) -> task => Event::Task(task.unwrap()),
|
|
|
|
recv(state.vfs.read().task_receiver()) -> task => match task {
|
|
|
|
Ok(task) => Event::Vfs(task),
|
|
|
|
Err(RecvError) => bail!("vfs died"),
|
|
|
|
},
|
|
|
|
recv(libdata_receiver) -> data => Event::Lib(data.unwrap())
|
2018-08-12 14:08:14 -05:00
|
|
|
};
|
2019-05-29 06:59:01 -05:00
|
|
|
let loop_start = Instant::now();
|
|
|
|
|
2019-05-31 12:14:54 -05:00
|
|
|
// NOTE: don't count blocking select! call as a loop-turn time
|
|
|
|
let _p = profile("main_loop_inner/loop-turn");
|
2019-05-29 06:34:21 -05:00
|
|
|
log::info!("loop turn = {:?}", event);
|
|
|
|
let queue_count = pool.queued_count();
|
|
|
|
if queue_count > 0 {
|
|
|
|
log::info!("queued count = {}", queue_count);
|
|
|
|
}
|
2019-05-31 12:14:54 -05:00
|
|
|
|
2018-08-30 08:27:09 -05:00
|
|
|
let mut state_changed = false;
|
2018-08-12 14:08:14 -05:00
|
|
|
match event {
|
2019-05-29 06:35:02 -05:00
|
|
|
Event::Task(task) => {
|
2019-05-29 07:42:14 -05:00
|
|
|
on_task(task, msg_sender, pending_requests, state);
|
2019-05-29 06:35:02 -05:00
|
|
|
state.maybe_collect_garbage();
|
|
|
|
}
|
2018-12-19 06:04:15 -06:00
|
|
|
Event::Vfs(task) => {
|
|
|
|
state.vfs.write().handle_task(task);
|
2018-08-30 08:27:09 -05:00
|
|
|
state_changed = true;
|
2018-08-13 05:46:05 -05:00
|
|
|
}
|
2018-09-03 13:26:59 -05:00
|
|
|
Event::Lib(lib) => {
|
|
|
|
state.add_lib(lib);
|
2019-05-29 06:35:02 -05:00
|
|
|
state.maybe_collect_garbage();
|
2019-01-11 07:58:01 -06:00
|
|
|
in_flight_libraries -= 1;
|
2018-09-03 13:26:59 -05:00
|
|
|
}
|
2018-10-15 16:44:23 -05:00
|
|
|
Event::Msg(msg) => match msg {
|
|
|
|
RawMessage::Request(req) => {
|
|
|
|
let req = match handle_shutdown(req, msg_sender) {
|
|
|
|
Some(req) => req,
|
|
|
|
None => return Ok(()),
|
|
|
|
};
|
2019-05-31 12:50:16 -05:00
|
|
|
on_request(
|
|
|
|
state,
|
|
|
|
pending_requests,
|
|
|
|
pool,
|
|
|
|
&task_sender,
|
|
|
|
msg_sender,
|
|
|
|
loop_start,
|
|
|
|
req,
|
|
|
|
)?
|
2018-08-12 14:08:14 -05:00
|
|
|
}
|
2018-10-15 16:44:23 -05:00
|
|
|
RawMessage::Notification(not) => {
|
2019-06-01 02:24:43 -05:00
|
|
|
on_notification(msg_sender, state, pending_requests, &mut subs, not)?;
|
2018-10-15 16:44:23 -05:00
|
|
|
state_changed = true;
|
|
|
|
}
|
2018-12-06 12:03:39 -06:00
|
|
|
RawMessage::Response(resp) => log::error!("unexpected response: {:?}", resp),
|
2018-10-15 16:44:23 -05:00
|
|
|
},
|
2018-08-12 14:08:14 -05:00
|
|
|
};
|
2018-08-30 08:27:09 -05:00
|
|
|
|
2019-01-11 07:58:01 -06:00
|
|
|
pending_libraries.extend(state.process_changes());
|
2019-05-31 11:20:22 -05:00
|
|
|
while in_flight_libraries < MAX_IN_FLIGHT_LIBS && !pending_libraries.is_empty() {
|
2019-01-11 07:58:01 -06:00
|
|
|
let (root, files) = pending_libraries.pop().unwrap();
|
|
|
|
in_flight_libraries += 1;
|
2018-12-19 06:04:15 -06:00
|
|
|
let sender = libdata_sender.clone();
|
|
|
|
pool.execute(move || {
|
|
|
|
log::info!("indexing {:?} ... ", root);
|
2019-04-02 09:52:04 -05:00
|
|
|
let _p = profile(&format!("indexed {:?}", root));
|
2018-12-19 06:04:15 -06:00
|
|
|
let data = LibraryData::prepare(root, files);
|
2018-12-30 14:23:31 -06:00
|
|
|
sender.send(data).unwrap();
|
2018-12-19 06:04:15 -06:00
|
|
|
});
|
|
|
|
}
|
2019-01-11 07:58:01 -06:00
|
|
|
|
2019-03-05 13:59:01 -06:00
|
|
|
if send_workspace_notification
|
|
|
|
&& state.roots_to_scan == 0
|
|
|
|
&& pending_libraries.is_empty()
|
|
|
|
&& in_flight_libraries == 0
|
|
|
|
{
|
2019-03-07 08:46:17 -06:00
|
|
|
let n_packages: usize = state.workspaces.iter().map(|it| it.count()).sum();
|
2019-03-06 03:34:38 -06:00
|
|
|
if options.show_workspace_loaded {
|
2019-03-07 08:46:17 -06:00
|
|
|
let msg = format!("workspace loaded, {} rust packages", n_packages);
|
|
|
|
show_message(req::MessageType::Info, msg, msg_sender);
|
2019-03-06 03:34:38 -06:00
|
|
|
}
|
2019-03-05 13:59:01 -06:00
|
|
|
// Only send the notification first time
|
|
|
|
send_workspace_notification = false;
|
2018-12-19 06:40:42 -06:00
|
|
|
}
|
2018-12-19 06:04:15 -06:00
|
|
|
|
2018-08-30 08:27:09 -05:00
|
|
|
if state_changed {
|
|
|
|
update_file_notifications_on_threadpool(
|
|
|
|
pool,
|
|
|
|
state.snapshot(),
|
2019-03-06 03:34:38 -06:00
|
|
|
options.publish_decorations,
|
2018-08-30 08:27:09 -05:00
|
|
|
task_sender.clone(),
|
|
|
|
subs.subscriptions(),
|
|
|
|
)
|
|
|
|
}
|
2018-08-12 14:08:14 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-05-29 06:59:01 -05:00
|
|
|
fn on_task(
|
|
|
|
task: Task,
|
|
|
|
msg_sender: &Sender<RawMessage>,
|
2019-05-31 12:14:54 -05:00
|
|
|
pending_requests: &mut PendingRequests,
|
2019-05-29 07:42:14 -05:00
|
|
|
state: &mut ServerWorldState,
|
2019-05-29 06:59:01 -05:00
|
|
|
) {
|
2018-09-01 10:03:57 -05:00
|
|
|
match task {
|
|
|
|
Task::Respond(response) => {
|
2019-05-31 12:14:54 -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
|
|
|
}
|
2018-09-01 10:03:57 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-12 16:09:30 -05:00
|
|
|
fn on_request(
|
2018-08-21 10:30:10 -05:00
|
|
|
world: &mut ServerWorldState,
|
2019-05-31 12:14:54 -05:00
|
|
|
pending_requests: &mut PendingRequests,
|
2018-08-12 16:09:30 -05:00
|
|
|
pool: &ThreadPool,
|
2018-08-12 14:08:14 -05:00
|
|
|
sender: &Sender<Task>,
|
2019-05-31 12:42:53 -05:00
|
|
|
msg_sender: &Sender<RawMessage>,
|
2019-05-29 06:59:01 -05:00
|
|
|
request_received: Instant,
|
2018-08-12 16:09:30 -05:00
|
|
|
req: RawRequest,
|
2019-05-31 12:42:53 -05:00
|
|
|
) -> Result<()> {
|
|
|
|
let mut pool_dispatcher = PoolDispatcher {
|
|
|
|
req: Some(req),
|
|
|
|
pool,
|
|
|
|
world,
|
|
|
|
sender,
|
|
|
|
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)?
|
|
|
|
.on::<req::ExtendSelection>(handlers::handle_extend_selection)?
|
|
|
|
.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)?
|
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(
|
2018-10-09 04:55:23 -05:00
|
|
|
msg_sender: &Sender<RawMessage>,
|
2018-08-17 11:54:08 -05:00
|
|
|
state: &mut ServerWorldState,
|
2019-05-31 12:14:54 -05:00
|
|
|
pending_requests: &mut PendingRequests,
|
2018-08-30 08:27:09 -05:00
|
|
|
subs: &mut Subscriptions,
|
2018-08-12 16:09:30 -05:00
|
|
|
not: RawNotification,
|
|
|
|
) -> Result<()> {
|
2018-09-01 09:40:45 -05:00
|
|
|
let not = match not.cast::<req::Cancel>() {
|
|
|
|
Ok(params) => {
|
|
|
|
let id = match params.id {
|
|
|
|
NumberOrString::Number(id) => id,
|
|
|
|
NumberOrString::String(id) => {
|
|
|
|
panic!("string id's not supported: {:?}", id);
|
|
|
|
}
|
|
|
|
};
|
2019-05-31 12:14:54 -05:00
|
|
|
if pending_requests.cancel(id) {
|
2018-12-09 05:43:02 -06:00
|
|
|
let response = RawResponse::err(
|
|
|
|
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,
|
|
|
|
};
|
|
|
|
let not = match not.cast::<req::DidOpenTextDocument>() {
|
|
|
|
Ok(params) => {
|
|
|
|
let uri = params.text_document.uri;
|
2019-02-08 05:49:43 -06:00
|
|
|
let path = uri.to_file_path().map_err(|()| format_err!("invalid uri: {}", uri))?;
|
|
|
|
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-01-04 07:01:06 -06:00
|
|
|
subs.add_sub(FileId(file_id.0.into()));
|
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,
|
|
|
|
};
|
|
|
|
let not = match not.cast::<req::DidChangeTextDocument>() {
|
|
|
|
Ok(mut params) => {
|
|
|
|
let uri = params.text_document.uri;
|
2019-02-08 05:49:43 -06:00
|
|
|
let path = uri.to_file_path().map_err(|()| format_err!("invalid uri: {}", uri))?;
|
|
|
|
let text =
|
|
|
|
params.content_changes.pop().ok_or_else(|| format_err!("empty changes"))?.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,
|
|
|
|
};
|
|
|
|
let not = match not.cast::<req::DidCloseTextDocument>() {
|
|
|
|
Ok(params) => {
|
|
|
|
let uri = params.text_document.uri;
|
2019-02-08 05:49:43 -06:00
|
|
|
let path = uri.to_file_path().map_err(|()| format_err!("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-01-04 07:01:06 -06:00
|
|
|
subs.remove_sub(FileId(file_id.0.into()));
|
2018-12-19 06:04:15 -06:00
|
|
|
}
|
2019-02-08 05:49:43 -06:00
|
|
|
let params = req::PublishDiagnosticsParams { uri, diagnostics: Vec::new() };
|
2018-09-02 07:18:43 -05:00
|
|
|
let not = RawNotification::new::<req::PublishDiagnostics>(¶ms);
|
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,
|
|
|
|
};
|
2018-12-06 12:03:39 -06:00
|
|
|
log::error!("unhandled notification: {:?}", not);
|
2018-08-12 16:09:30 -05:00
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
|
2018-08-29 10:03:14 -05:00
|
|
|
struct PoolDispatcher<'a> {
|
|
|
|
req: Option<RawRequest>,
|
|
|
|
pool: &'a ThreadPool,
|
2019-05-29 08:05:14 -05:00
|
|
|
world: &'a mut ServerWorldState,
|
2019-05-31 12:42:53 -05:00
|
|
|
pending_requests: &'a mut PendingRequests,
|
|
|
|
msg_sender: &'a Sender<RawMessage>,
|
2018-08-29 10:03:14 -05:00
|
|
|
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,
|
|
|
|
f: fn(&mut ServerWorldState, R::Params) -> Result<R::Result>,
|
|
|
|
) -> Result<&mut Self>
|
2018-10-15 16:44:23 -05:00
|
|
|
where
|
2019-05-29 08:05:14 -05:00
|
|
|
R: req::Request + 'static,
|
2018-10-15 16:44:23 -05:00
|
|
|
R::Params: DeserializeOwned + Send + 'static,
|
|
|
|
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-05-31 12:50:16 -05:00
|
|
|
let result = f(self.world, params);
|
|
|
|
let task = result_to_task::<R>(id, result);
|
|
|
|
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-05-31 12:50:16 -05:00
|
|
|
fn on<R>(&mut self, f: fn(ServerWorld, R::Params) -> Result<R::Result>) -> Result<&mut Self>
|
|
|
|
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();
|
|
|
|
let sender = self.sender.clone();
|
|
|
|
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-05-31 12:50:16 -05:00
|
|
|
fn parse<R>(&mut self) -> Option<(u64, R::Params)>
|
|
|
|
where
|
|
|
|
R: req::Request + 'static,
|
|
|
|
R::Params: DeserializeOwned + Send + 'static,
|
|
|
|
{
|
|
|
|
let req = self.req.take()?;
|
|
|
|
let (id, params) = match req.cast::<R>() {
|
|
|
|
Ok(it) => it,
|
|
|
|
Err(req) => {
|
|
|
|
self.req = Some(req);
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
self.pending_requests.start(PendingRequest {
|
|
|
|
id,
|
|
|
|
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);
|
|
|
|
let resp = RawResponse::err(
|
|
|
|
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-05-31 12:30:14 -05:00
|
|
|
fn result_to_task<R>(id: u64, result: Result<R::Result>) -> Task
|
|
|
|
where
|
|
|
|
R: req::Request + 'static,
|
|
|
|
R::Params: DeserializeOwned + Send + 'static,
|
|
|
|
R::Result: Serialize + 'static,
|
|
|
|
{
|
|
|
|
let response = match result {
|
|
|
|
Ok(resp) => RawResponse::ok::<R>(id, &resp),
|
|
|
|
Err(e) => match e.downcast::<LspError>() {
|
|
|
|
Ok(lsp_error) => RawResponse::err(id, lsp_error.code, lsp_error.message),
|
|
|
|
Err(e) => {
|
|
|
|
if is_canceled(&e) {
|
|
|
|
// FIXME: When https://github.com/Microsoft/vscode-languageserver-node/issues/457
|
|
|
|
// gets fixed, we can return the proper response.
|
|
|
|
// This works around the issue where "content modified" error would continuously
|
|
|
|
// show an message pop-up in VsCode
|
|
|
|
// RawResponse::err(
|
|
|
|
// id,
|
|
|
|
// ErrorCode::ContentModified as i32,
|
|
|
|
// "content modified".to_string(),
|
|
|
|
// )
|
|
|
|
RawResponse {
|
|
|
|
id,
|
|
|
|
result: Some(serde_json::to_value(&()).unwrap()),
|
|
|
|
error: None,
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
RawResponse::err(
|
|
|
|
id,
|
|
|
|
ErrorCode::InternalError as i32,
|
|
|
|
format!("{}\n{}", e, e.backtrace()),
|
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
},
|
|
|
|
};
|
|
|
|
Task::Respond(response)
|
|
|
|
}
|
|
|
|
|
2018-08-12 14:08:14 -05:00
|
|
|
fn update_file_notifications_on_threadpool(
|
|
|
|
pool: &ThreadPool,
|
2018-08-17 11:54:08 -05:00
|
|
|
world: ServerWorld,
|
2018-11-08 09:43:02 -06:00
|
|
|
publish_decorations: bool,
|
2018-08-12 14:08:14 -05:00
|
|
|
sender: Sender<Task>,
|
2018-08-30 08:27:09 -05:00
|
|
|
subscriptions: Vec<FileId>,
|
2018-08-12 14:08:14 -05:00
|
|
|
) {
|
2018-12-09 04:13:36 -06:00
|
|
|
pool.execute(move || {
|
2018-08-30 08:27:09 -05:00
|
|
|
for file_id in subscriptions {
|
2018-10-15 14:36:08 -05:00
|
|
|
match handlers::publish_diagnostics(&world, file_id) {
|
2018-10-25 08:03:49 -05:00
|
|
|
Err(e) => {
|
|
|
|
if !is_canceled(&e) {
|
2018-12-06 12:03:39 -06:00
|
|
|
log::error!("failed to compute diagnostics: {:?}", e);
|
2018-10-25 08:03:49 -05:00
|
|
|
}
|
2018-10-31 15:41:43 -05:00
|
|
|
}
|
2018-08-30 08:27:09 -05:00
|
|
|
Ok(params) => {
|
2018-09-02 07:18:43 -05:00
|
|
|
let not = RawNotification::new::<req::PublishDiagnostics>(¶ms);
|
2018-12-30 14:23:31 -06:00
|
|
|
sender.send(Task::Notify(not)).unwrap();
|
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) => {
|
|
|
|
let not = RawNotification::new::<req::PublishDecorations>(¶ms);
|
2018-12-30 14:23:31 -06:00
|
|
|
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-03-07 08:46:17 -06:00
|
|
|
fn show_message(typ: req::MessageType, message: impl Into<String>, sender: &Sender<RawMessage>) {
|
|
|
|
let message = message.into();
|
|
|
|
let params = req::ShowMessageParams { typ, message };
|
|
|
|
let not = RawNotification::new::<req::ShowMessage>(¶ms);
|
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
|
|
|
|
|
|
|
fn is_canceled(e: &failure::Error) -> bool {
|
|
|
|
e.downcast_ref::<Canceled>().is_some()
|
|
|
|
}
|