pub enum WorkspaceDiagnosticRequest {}
Expand description
The workspace diagnostic request is sent from the client to the server to ask the server to compute workspace wide diagnostics which previously where pushed from the server to the client. In contrast to the document diagnostic request the workspace request can be long running and is not bound to a specific workspace or document state. If the client supports streaming for the workspace diagnostic pull it is legal to provide a document diagnostic report multiple times for the same document URI. The last one reported will win over previous reports.
Trait Implementations§
source§impl Debug for WorkspaceDiagnosticRequest
impl Debug for WorkspaceDiagnosticRequest
source§impl Request for WorkspaceDiagnosticRequest
impl Request for WorkspaceDiagnosticRequest
type Params = WorkspaceDiagnosticParams
const METHOD: &'static str = "workspace/diagnostic"
type Result = WorkspaceDiagnosticReportResult
Auto Trait Implementations§
impl Freeze for WorkspaceDiagnosticRequest
impl RefUnwindSafe for WorkspaceDiagnosticRequest
impl Send for WorkspaceDiagnosticRequest
impl Sync for WorkspaceDiagnosticRequest
impl Unpin for WorkspaceDiagnosticRequest
impl UnwindSafe for WorkspaceDiagnosticRequest
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more