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 ::{
2020-04-26 03:23:53 -05:00
borrow ::Cow ,
2020-01-29 04:21:49 -06:00
env ,
error ::Error ,
2020-04-26 03:23:53 -05:00
fmt ,
ops ::Range ,
panic ,
2020-01-29 04:21:49 -06:00
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 } ;
2020-04-16 15:19:38 -05:00
use itertools ::Itertools ;
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 ::{
2020-04-26 03:23:53 -05:00
DidChangeTextDocumentParams , NumberOrString , TextDocumentContentChangeEvent , WorkDoneProgress ,
WorkDoneProgressBegin , WorkDoneProgressCreateParams , WorkDoneProgressEnd ,
WorkDoneProgressReport ,
2020-03-13 18:03:02 -05:00
} ;
2020-04-01 07:32:04 -05:00
use ra_flycheck ::{ url_from_path_with_drive_lowercasing , CheckTask } ;
2020-04-26 03:23:53 -05:00
use ra_ide ::{ Canceled , FileId , LibraryData , LineIndex , SourceRootId } ;
2019-07-04 15:05:17 -05:00
use ra_prof ::profile ;
2020-04-01 05:40:40 -05:00
use ra_project_model ::{ PackageRoot , ProjectWorkspace } ;
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-04-02 05:47:58 -05:00
config ::{ Config , FilesWatcher } ,
2020-04-26 03:23:53 -05:00
conv ::{ ConvWith , TryConvWith } ,
2020-01-31 12:23:25 -06:00
diagnostics ::DiagnosticTask ,
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 ,
2020-04-01 07:32:04 -05:00
world ::{ WorldSnapshot , WorldState } ,
2020-04-01 11:41:43 -05:00
Result ,
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 { }
2020-04-01 11:41:43 -05:00
pub fn main_loop ( ws_roots : Vec < PathBuf > , config : Config , connection : Connection ) -> Result < ( ) > {
2020-04-01 10:22:56 -05:00
log ::info! ( " initial 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 = {
let workspaces = {
2020-04-16 15:02:10 -05:00
// FIXME: support dynamic workspace loading.
2020-05-08 18:24:51 -05:00
let project_roots : FxHashSet < _ > = ws_roots
2020-04-16 15:02:10 -05:00
. iter ( )
2020-04-16 15:19:38 -05:00
. filter_map ( | it | ra_project_model ::ProjectRoot ::discover ( it ) . ok ( ) )
. flatten ( )
2020-05-08 18:24:51 -05:00
. collect ( ) ;
2020-04-16 15:02:10 -05:00
2020-04-16 15:19:38 -05:00
if project_roots . is_empty ( ) & & config . notifications . cargo_toml_not_found {
show_message (
2020-05-08 18:24:51 -05:00
req ::MessageType ::Error ,
format! (
" rust-analyzer failed to discover workspace, no Cargo.toml found, dirs searched: {} " ,
ws_roots . iter ( ) . format_with ( " , " , | it , f | f ( & it . display ( ) ) )
) ,
& connection . sender ,
) ;
2020-04-16 15:19:38 -05:00
} ;
2020-04-16 15:02:10 -05:00
project_roots
2020-04-16 15:19:38 -05:00
. into_iter ( )
2020-04-16 15:02:10 -05:00
. filter_map ( | root | {
ra_project_model ::ProjectWorkspace ::load (
root ,
& config . cargo ,
config . with_sysroot ,
)
. map_err ( | err | {
log ::error! ( " failed to load workspace: {:#} " , err ) ;
2019-09-06 08:25:24 -05:00
show_message (
req ::MessageType ::Error ,
2020-04-16 15:02:10 -05:00
format! ( " rust-analyzer failed to load workspace: {:#} " , err ) ,
2019-09-06 08:25:24 -05:00
& connection . sender ,
) ;
2020-04-16 15:02:10 -05:00
} )
. ok ( )
} )
. collect ::< Vec < _ > > ( )
2019-09-06 08:25:24 -05:00
} ;
2019-03-05 13:59:01 -06:00
2019-09-06 08:25:24 -05:00
let globs = config
2020-04-02 05:47:58 -05:00
. files
. exclude
2019-09-06 08:25:24 -05:00
. 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 < _ > , _ > > ( ) ? ;
2020-04-02 05:47:58 -05:00
if let FilesWatcher ::Client = config . files . watcher {
2019-09-06 08:25:24 -05:00
let registration_options = req ::DidChangeWatchedFilesRegistrationOptions {
watchers : workspaces
. iter ( )
2020-04-01 05:40:40 -05:00
. flat_map ( ProjectWorkspace ::to_roots )
. filter ( PackageRoot ::is_member )
. map ( | root | format! ( " {} /**/*.rs " , root . path ( ) . display ( ) ) )
2019-09-06 08:25:24 -05:00
. 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 ( ) ;
}
WorldState ::new (
ws_roots ,
workspaces ,
config . lru_capacity ,
& globs ,
2020-04-02 05:47:58 -05:00
Watch ( matches! ( config . files . watcher , FilesWatcher ::Notify ) ) ,
2020-04-01 10:22:56 -05:00
config ,
2019-09-06 08:25:24 -05:00
)
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-04-01 04:09:19 -05:00
recv ( world_state . flycheck . 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 ;
} ;
}
2020-03-20 15:09:23 -05:00
loop_turn (
2019-08-31 06:47:37 -05:00
& 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-03-20 15:09:23 -05:00
) ? ;
2019-08-31 06:47:37 -05:00
}
}
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... " ) ;
2020-04-25 09:26:33 -05:00
pool . join ( ) ;
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 " , & not . 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 ) ) = > {
2020-04-02 02:52:27 -05:00
if 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-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 ,
2020-03-19 16:56:32 -05:00
configuration_request_id : Option < RequestId > ,
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 ,
2020-03-20 15:09:23 -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 ) = > {
2020-03-19 16:56:32 -05:00
on_notification ( & connection . sender , world_state , loop_state , 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 )
}
2020-03-20 17:01:47 -05:00
2020-03-24 14:43:22 -05:00
if Some ( & resp . id ) = = loop_state . configuration_request_id . as_ref ( ) {
2020-03-21 16:58:52 -05:00
loop_state . configuration_request_id = None ;
2020-03-24 14:43:22 -05:00
log ::debug! ( " config update response: '{:?} " , resp ) ;
2020-03-24 14:06:03 -05:00
let Response { error , result , .. } = resp ;
2020-03-24 14:43:22 -05:00
2020-04-01 11:41:43 -05:00
match ( error , result ) {
2020-03-24 14:06:03 -05:00
( Some ( err ) , _ ) = > {
log ::error! ( " failed to fetch the server settings: {:?} " , err )
}
2020-04-01 12:27:45 -05:00
( None , Some ( configs ) ) = > {
if let Some ( new_config ) = configs . get ( 0 ) {
let mut config = world_state . config . clone ( ) ;
config . update ( & new_config ) ;
world_state . update_configuration ( config ) ;
}
2020-03-24 14:43:22 -05:00
}
2020-03-24 14:06:03 -05:00
( None , None ) = > {
log ::error! ( " received empty server settings response from the client " )
}
2020-03-20 17:01:47 -05:00
}
2020-03-19 17:49:26 -05:00
}
2019-09-06 08:25:24 -05:00
}
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-05-01 17:59:19 -05:00
let show_progress = ! loop_state . workspace_loaded ;
2020-03-28 17:33:16 -05:00
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
{
2020-04-24 22:30:49 -05:00
state_changed = true ;
2019-08-31 06:47:37 -05:00
loop_state . workspace_loaded = true ;
2020-04-01 04:09:19 -05:00
if let Some ( flycheck ) = & world_state . flycheck {
flycheck . update ( ) ;
2020-03-30 04:46:04 -05:00
}
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
2020-04-24 22:30:49 -05:00
if state_changed & & loop_state . workspace_loaded {
2019-08-31 06:47:37 -05:00
update_file_notifications_on_threadpool (
pool ,
world_state . snapshot ( ) ,
task_sender . clone ( ) ,
loop_state . subscriptions . subscriptions ( ) ,
2020-04-24 22:30:49 -05:00
) ;
pool . execute ( {
let subs = loop_state . subscriptions . subscriptions ( ) ;
let snap = world_state . snapshot ( ) ;
move | | snap . analysis ( ) . prime_caches ( subs ) . unwrap_or_else ( | _ : Canceled | ( ) )
} ) ;
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 ,
) ;
}
}
2020-03-20 15:09:23 -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 ::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 ,
2020-03-19 16:56:32 -05:00
loop_state : & mut LoopState ,
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
} ;
2020-03-19 16:56:32 -05:00
if loop_state . pending_requests . cancel ( & id ) {
2019-08-30 09:24:11 -05:00
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
{
2020-03-19 16:56:32 -05:00
loop_state . subscriptions . 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 ) {
2020-04-26 03:23:53 -05:00
Ok ( params ) = > {
let DidChangeTextDocumentParams { text_document , content_changes } = params ;
let world = state . snapshot ( ) ;
let file_id = text_document . try_conv_with ( & world ) ? ;
let line_index = world . analysis ( ) . file_line_index ( file_id ) ? ;
let uri = text_document . uri ;
2019-06-14 15:42:56 -05:00
let path = uri . to_file_path ( ) . map_err ( | ( ) | format! ( " invalid uri: {} " , uri ) ) ? ;
2020-04-26 03:23:53 -05:00
state . vfs . write ( ) . change_file_overlay ( & path , | old_text | {
apply_document_changes ( old_text , Cow ::Borrowed ( & line_index ) , content_changes ) ;
} ) ;
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-04-01 04:09:19 -05:00
if let Some ( flycheck ) = & state . flycheck {
flycheck . update ( ) ;
2020-03-30 04:46:04 -05:00
}
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 ( ) ) {
2020-03-19 16:56:32 -05:00
loop_state . subscriptions . 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 ) {
2020-03-20 17:01:47 -05:00
Ok ( _ ) = > {
// As stated in https://github.com/microsoft/language-server-protocol/issues/676,
// this notification's parameters should be ignored and the actual config queried separately.
2020-03-19 16:56:32 -05:00
let request_id = loop_state . next_request_id ( ) ;
let request = request_new ::< req ::WorkspaceConfiguration > (
request_id . clone ( ) ,
2020-04-02 05:47:58 -05:00
req ::ConfigurationParams {
items : vec ! [ req ::ConfigurationItem {
scope_uri : None ,
section : Some ( " rust-analyzer " . to_string ( ) ) ,
} ] ,
} ,
2020-03-19 16:56:32 -05:00
) ;
2020-03-20 17:01:47 -05:00
msg_sender . send ( request . into ( ) ) ? ;
2020-03-21 17:40:07 -05:00
loop_state . configuration_request_id = Some ( request_id ) ;
2020-03-19 16:56:32 -05:00
2019-07-10 22:44:23 -05:00
return Ok ( ( ) ) ;
}
2020-03-19 16:56:32 -05:00
Err ( not ) = > 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-04-26 03:23:53 -05:00
fn apply_document_changes (
old_text : & mut String ,
mut line_index : Cow < '_ , LineIndex > ,
content_changes : Vec < TextDocumentContentChangeEvent > ,
) {
2020-05-03 04:46:20 -05:00
// Remove when https://github.com/rust-analyzer/rust-analyzer/issues/4263 is fixed.
let backup_text = old_text . clone ( ) ;
let backup_changes = content_changes . clone ( ) ;
2020-04-26 03:23:53 -05:00
// The changes we got must be applied sequentially, but can cross lines so we
// have to keep our line index updated.
// Some clients (e.g. Code) sort the ranges in reverse. As an optimization, we
// remember the last valid line in the index and only rebuild it if needed.
enum IndexValid {
All ,
2020-05-04 12:04:30 -05:00
UpToLineExclusive ( u64 ) ,
2020-04-26 03:23:53 -05:00
}
impl IndexValid {
fn covers ( & self , line : u64 ) -> bool {
match * self {
2020-05-04 12:04:30 -05:00
IndexValid ::UpToLineExclusive ( to ) = > to > line ,
2020-04-26 03:23:53 -05:00
_ = > true ,
}
}
}
let mut index_valid = IndexValid ::All ;
for change in content_changes {
match change . range {
Some ( range ) = > {
2020-05-04 12:04:30 -05:00
if ! index_valid . covers ( range . end . line ) {
2020-04-26 03:23:53 -05:00
line_index = Cow ::Owned ( LineIndex ::new ( & old_text ) ) ;
}
2020-05-04 12:04:30 -05:00
index_valid = IndexValid ::UpToLineExclusive ( range . start . line ) ;
2020-04-26 03:23:53 -05:00
let range = range . conv_with ( & line_index ) ;
2020-05-03 04:46:20 -05:00
let mut text = old_text . to_owned ( ) ;
match std ::panic ::catch_unwind ( move | | {
text . replace_range ( Range ::< usize > ::from ( range ) , & change . text ) ;
text
} ) {
Ok ( t ) = > * old_text = t ,
Err ( e ) = > {
eprintln! ( " Bug in incremental text synchronization. Please report the following output on https://github.com/rust-analyzer/rust-analyzer/issues/4263 " ) ;
dbg! ( & backup_text ) ;
dbg! ( & backup_changes ) ;
std ::panic ::resume_unwind ( e ) ;
}
}
2020-04-26 03:23:53 -05:00
}
None = > {
* old_text = change . text ;
2020-05-04 12:04:30 -05:00
index_valid = IndexValid ::UpToLineExclusive ( 0 ) ;
2020-04-26 03:23:53 -05:00
}
}
}
}
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 ) = > {
2020-04-24 13:48:30 -05:00
log ::error! ( " Couldn't convert path to url ({}): {} " , err , path . display ( ) ) ;
2020-01-31 12:23:25 -06:00
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
}
2020-03-31 05:02:47 -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 ( ) ;
}
2020-03-13 18:03:02 -05:00
}
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 ,
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-04-02 05:50:34 -05:00
if world . config . publish_diagnostics {
pool . execute ( move | | {
for file_id in subscriptions {
2019-08-22 06:44:16 -05:00
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
}
2020-04-02 05:50:34 -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 )
}
2020-04-26 03:23:53 -05:00
#[ cfg(test) ]
mod tests {
use std ::borrow ::Cow ;
use lsp_types ::{ Position , Range , TextDocumentContentChangeEvent } ;
use ra_ide ::LineIndex ;
#[ test ]
fn apply_document_changes ( ) {
fn run ( text : & mut String , changes : Vec < TextDocumentContentChangeEvent > ) {
let line_index = Cow ::Owned ( LineIndex ::new ( & text ) ) ;
super ::apply_document_changes ( text , line_index , changes ) ;
}
macro_rules ! c {
[ $( $sl :expr , $sc :expr ; $el :expr , $ec :expr = > $text :expr ) , + ] = > {
vec! [ $( TextDocumentContentChangeEvent {
range : Some ( Range {
start : Position { line : $sl , character : $sc } ,
end : Position { line : $el , character : $ec } ,
} ) ,
range_length : None ,
text : String ::from ( $text ) ,
} ) , + ]
} ;
}
let mut text = String ::new ( ) ;
run ( & mut text , vec! [ ] ) ;
assert_eq! ( text , " " ) ;
run (
& mut text ,
vec! [ TextDocumentContentChangeEvent {
range : None ,
range_length : None ,
text : String ::from ( " the " ) ,
} ] ,
) ;
assert_eq! ( text , " the " ) ;
run ( & mut text , c! [ 0 , 3 ; 0 , 3 = > " quick " ] ) ;
assert_eq! ( text , " the quick " ) ;
run ( & mut text , c! [ 0 , 0 ; 0 , 4 = > " " , 0 , 5 ; 0 , 5 = > " foxes " ] ) ;
assert_eq! ( text , " quick foxes " ) ;
run ( & mut text , c! [ 0 , 11 ; 0 , 11 = > " \n dream " ] ) ;
assert_eq! ( text , " quick foxes \n dream " ) ;
run ( & mut text , c! [ 1 , 0 ; 1 , 0 = > " have " ] ) ;
assert_eq! ( text , " quick foxes \n have dream " ) ;
run ( & mut text , c! [ 0 , 0 ; 0 , 0 = > " the " , 1 , 4 ; 1 , 4 = > " quiet " , 1 , 16 ; 1 , 16 = > " s \n " ] ) ;
assert_eq! ( text , " the quick foxes \n have quiet dreams \n " ) ;
run ( & mut text , c! [ 0 , 15 ; 0 , 15 = > " \n " , 2 , 17 ; 2 , 17 = > " \n " ] ) ;
assert_eq! ( text , " the quick foxes \n \n have quiet dreams \n \n " ) ;
run (
& mut text ,
c! [ 1 , 0 ; 1 , 0 = > " DREAM " , 2 , 0 ; 2 , 0 = > " they " , 3 , 0 ; 3 , 0 = > " DON'T THEY? " ] ,
) ;
assert_eq! ( text , " the quick foxes \n DREAM \n they have quiet dreams \n DON'T THEY? \n " ) ;
run ( & mut text , c! [ 0 , 10 ; 1 , 5 = > " " , 2 , 0 ; 2 , 12 = > " " ] ) ;
assert_eq! ( text , " the quick \n they have quiet dreams \n " ) ;
2020-05-05 11:22:01 -05:00
text = String ::from ( " ❤️ " ) ;
run ( & mut text , c! [ 0 , 0 ; 0 , 0 = > " a " ] ) ;
assert_eq! ( text , " a❤️ " ) ;
text = String ::from ( " a \n b " ) ;
run ( & mut text , c! [ 0 , 1 ; 1 , 0 = > " \n țc " , 0 , 1 ; 1 , 1 = > " d " ] ) ;
assert_eq! ( text , " adcb " ) ;
text = String ::from ( " a \n b " ) ;
run ( & mut text , c! [ 0 , 1 ; 1 , 0 = > " ț \n c " , 0 , 2 ; 0 , 2 = > " c " ] ) ;
assert_eq! ( text , " ațc \n cb " ) ;
2020-04-26 03:23:53 -05:00
}
}