2018-08-10 15:56:19 -05:00
|
|
|
use serde::{ser::Serialize, de::DeserializeOwned};
|
2018-08-22 02:18:58 -05:00
|
|
|
use languageserver_types::{TextDocumentIdentifier, Range, Url, Position, Location};
|
2018-08-10 16:55:32 -05:00
|
|
|
use url_serde;
|
2018-08-10 13:13:39 -05:00
|
|
|
|
|
|
|
pub use languageserver_types::{
|
|
|
|
request::*, notification::*,
|
2018-08-10 15:56:19 -05:00
|
|
|
InitializeResult, PublishDiagnosticsParams,
|
2018-08-12 13:02:56 -05:00
|
|
|
DocumentSymbolParams, DocumentSymbolResponse,
|
2018-08-12 18:38:34 -05:00
|
|
|
CodeActionParams, ApplyWorkspaceEditParams,
|
|
|
|
ExecuteCommandParams,
|
2018-08-13 07:35:53 -05:00
|
|
|
WorkspaceSymbolParams,
|
2018-08-13 08:35:17 -05:00
|
|
|
TextDocumentPositionParams,
|
2018-08-23 14:14:51 -05:00
|
|
|
TextEdit,
|
2018-08-10 13:13:39 -05:00
|
|
|
};
|
2018-08-10 07:07:43 -05:00
|
|
|
|
2018-08-10 15:56:19 -05:00
|
|
|
|
2018-08-10 16:01:37 -05:00
|
|
|
pub trait ClientRequest: 'static {
|
2018-08-10 15:56:19 -05:00
|
|
|
type Params: DeserializeOwned + Send + 'static;
|
|
|
|
type Result: Serialize + Send + 'static;
|
|
|
|
const METHOD: &'static str;
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> ClientRequest for T
|
2018-08-10 16:01:37 -05:00
|
|
|
where T: Request + 'static,
|
2018-08-10 15:56:19 -05:00
|
|
|
T::Params: DeserializeOwned + Send + 'static,
|
|
|
|
T::Result: Serialize + Send + 'static,
|
|
|
|
{
|
|
|
|
type Params = <T as Request>::Params;
|
|
|
|
type Result = <T as Request>::Result;
|
|
|
|
const METHOD: &'static str = <T as Request>::METHOD;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-08-10 07:07:43 -05:00
|
|
|
pub enum SyntaxTree {}
|
|
|
|
|
|
|
|
impl Request for SyntaxTree {
|
|
|
|
type Params = SyntaxTreeParams;
|
|
|
|
type Result = String;
|
|
|
|
const METHOD: &'static str = "m/syntaxTree";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Deserialize, Debug)]
|
2018-08-10 13:13:39 -05:00
|
|
|
#[serde(rename_all = "camelCase")]
|
2018-08-10 07:07:43 -05:00
|
|
|
pub struct SyntaxTreeParams {
|
|
|
|
pub text_document: TextDocumentIdentifier
|
|
|
|
}
|
2018-08-10 13:13:39 -05:00
|
|
|
|
|
|
|
pub enum ExtendSelection {}
|
|
|
|
|
2018-08-10 14:23:17 -05:00
|
|
|
impl Request for ExtendSelection {
|
|
|
|
type Params = ExtendSelectionParams;
|
|
|
|
type Result = ExtendSelectionResult;
|
|
|
|
const METHOD: &'static str = "m/extendSelection";
|
|
|
|
}
|
|
|
|
|
2018-08-10 13:13:39 -05:00
|
|
|
#[derive(Deserialize, Debug)]
|
|
|
|
#[serde(rename_all = "camelCase")]
|
|
|
|
pub struct ExtendSelectionParams {
|
|
|
|
pub text_document: TextDocumentIdentifier,
|
|
|
|
pub selections: Vec<Range>,
|
|
|
|
}
|
|
|
|
|
2018-08-10 14:23:17 -05:00
|
|
|
#[derive(Serialize, Debug)]
|
|
|
|
#[serde(rename_all = "camelCase")]
|
2018-08-10 13:13:39 -05:00
|
|
|
pub struct ExtendSelectionResult {
|
|
|
|
pub selections: Vec<Range>,
|
|
|
|
}
|
2018-08-10 16:55:32 -05:00
|
|
|
|
2018-08-15 16:23:22 -05:00
|
|
|
pub enum FindMatchingBrace {}
|
|
|
|
|
|
|
|
impl Request for FindMatchingBrace {
|
|
|
|
type Params = FindMatchingBraceParams;
|
|
|
|
type Result = Vec<Position>;
|
|
|
|
const METHOD: &'static str = "m/findMatchingBrace";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Deserialize, Debug)]
|
|
|
|
#[serde(rename_all = "camelCase")]
|
|
|
|
pub struct FindMatchingBraceParams {
|
|
|
|
pub text_document: TextDocumentIdentifier,
|
|
|
|
pub offsets: Vec<Position>,
|
|
|
|
}
|
|
|
|
|
2018-08-10 16:55:32 -05:00
|
|
|
pub enum PublishDecorations {}
|
|
|
|
|
|
|
|
impl Notification for PublishDecorations {
|
|
|
|
type Params = PublishDecorationsParams;
|
|
|
|
const METHOD: &'static str = "m/publishDecorations";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Serialize, Debug)]
|
|
|
|
#[serde(rename_all = "camelCase")]
|
|
|
|
pub struct PublishDecorationsParams {
|
|
|
|
#[serde(with = "url_serde")]
|
|
|
|
pub uri: Url,
|
|
|
|
pub decorations: Vec<Decoration>,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Serialize, Debug)]
|
|
|
|
#[serde(rename_all = "camelCase")]
|
|
|
|
pub struct Decoration {
|
|
|
|
pub range: Range,
|
|
|
|
pub tag: &'static str
|
|
|
|
}
|
2018-08-16 05:46:31 -05:00
|
|
|
|
|
|
|
pub enum MoveCursor {}
|
|
|
|
|
|
|
|
impl Request for MoveCursor {
|
|
|
|
type Params = Position;
|
|
|
|
type Result = ();
|
|
|
|
const METHOD: &'static str = "m/moveCursor";
|
|
|
|
}
|
2018-08-22 02:18:58 -05:00
|
|
|
|
|
|
|
pub enum ParentModule {}
|
|
|
|
|
|
|
|
impl Request for ParentModule {
|
|
|
|
type Params = TextDocumentIdentifier;
|
|
|
|
type Result = Vec<Location>;
|
|
|
|
const METHOD: &'static str = "m/parentModule";
|
|
|
|
}
|
2018-08-23 14:14:51 -05:00
|
|
|
|
|
|
|
pub enum JoinLines {}
|
|
|
|
|
|
|
|
impl Request for JoinLines {
|
|
|
|
type Params = JoinLinesParams;
|
|
|
|
type Result = Vec<TextEdit>;
|
|
|
|
const METHOD: &'static str = "m/joinLines";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Deserialize, Debug)]
|
|
|
|
#[serde(rename_all = "camelCase")]
|
|
|
|
pub struct JoinLinesParams {
|
|
|
|
pub text_document: TextDocumentIdentifier,
|
|
|
|
pub range: Range,
|
|
|
|
}
|