2018-12-06 12:03:39 -06:00
|
|
|
use serde_derive::{Serialize, Deserialize};
|
2018-10-15 16:44:23 -05:00
|
|
|
use languageserver_types::{Location, Position, Range, TextDocumentIdentifier, Url};
|
2018-10-11 13:07:44 -05:00
|
|
|
use rustc_hash::FxHashMap;
|
2018-08-10 16:55:32 -05:00
|
|
|
use url_serde;
|
2018-08-10 13:13:39 -05:00
|
|
|
|
|
|
|
pub use languageserver_types::{
|
2018-10-15 16:44:23 -05:00
|
|
|
notification::*, request::*, ApplyWorkspaceEditParams, CodeActionParams, CompletionParams,
|
|
|
|
CompletionResponse, DocumentOnTypeFormattingParams, DocumentSymbolParams,
|
|
|
|
DocumentSymbolResponse, ExecuteCommandParams, Hover, InitializeResult,
|
2018-10-31 15:41:43 -05:00
|
|
|
PublishDiagnosticsParams, ReferenceParams, SignatureHelp, TextDocumentEdit,
|
|
|
|
TextDocumentPositionParams, TextEdit, WorkspaceSymbolParams,
|
2018-08-10 13:13:39 -05:00
|
|
|
};
|
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 {
|
2018-10-15 16:44:23 -05:00
|
|
|
pub text_document: TextDocumentIdentifier,
|
2018-08-10 07:07:43 -05:00
|
|
|
}
|
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-27 16:20:59 -05:00
|
|
|
pub enum DecorationsRequest {}
|
|
|
|
|
|
|
|
impl Request for DecorationsRequest {
|
|
|
|
type Params = TextDocumentIdentifier;
|
|
|
|
type Result = Vec<Decoration>;
|
|
|
|
const METHOD: &'static str = "m/decorationsRequest";
|
|
|
|
}
|
|
|
|
|
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,
|
2018-10-15 16:44:23 -05:00
|
|
|
pub tag: &'static str,
|
2018-08-10 16:55:32 -05:00
|
|
|
}
|
2018-08-16 05:46:31 -05:00
|
|
|
|
2018-08-22 02:18:58 -05:00
|
|
|
pub enum ParentModule {}
|
|
|
|
|
|
|
|
impl Request for ParentModule {
|
2018-11-05 05:10:20 -06:00
|
|
|
type Params = TextDocumentPositionParams;
|
2018-08-22 02:18:58 -05:00
|
|
|
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;
|
2018-08-29 10:03:14 -05:00
|
|
|
type Result = SourceChange;
|
2018-08-23 14:14:51 -05:00
|
|
|
const METHOD: &'static str = "m/joinLines";
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Deserialize, Debug)]
|
|
|
|
#[serde(rename_all = "camelCase")]
|
|
|
|
pub struct JoinLinesParams {
|
|
|
|
pub text_document: TextDocumentIdentifier,
|
|
|
|
pub range: Range,
|
|
|
|
}
|
2018-08-27 14:03:19 -05:00
|
|
|
|
2018-10-09 08:00:20 -05:00
|
|
|
pub enum OnEnter {}
|
|
|
|
|
|
|
|
impl Request for OnEnter {
|
|
|
|
type Params = TextDocumentPositionParams;
|
|
|
|
type Result = Option<SourceChange>;
|
|
|
|
const METHOD: &'static str = "m/onEnter";
|
|
|
|
}
|
|
|
|
|
2018-08-27 14:03:19 -05:00
|
|
|
pub enum Runnables {}
|
|
|
|
|
|
|
|
impl Request for Runnables {
|
|
|
|
type Params = RunnablesParams;
|
|
|
|
type Result = Vec<Runnable>;
|
2018-08-27 14:52:43 -05:00
|
|
|
const METHOD: &'static str = "m/runnables";
|
2018-08-27 14:03:19 -05:00
|
|
|
}
|
|
|
|
|
2018-09-01 12:21:11 -05:00
|
|
|
#[derive(Serialize, Deserialize, Debug)]
|
2018-08-27 14:03:19 -05:00
|
|
|
#[serde(rename_all = "camelCase")]
|
|
|
|
pub struct RunnablesParams {
|
|
|
|
pub text_document: TextDocumentIdentifier,
|
|
|
|
pub position: Option<Position>,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Serialize, Debug)]
|
|
|
|
#[serde(rename_all = "camelCase")]
|
|
|
|
pub struct Runnable {
|
|
|
|
pub range: Range,
|
|
|
|
pub label: String,
|
|
|
|
pub bin: String,
|
|
|
|
pub args: Vec<String>,
|
2018-10-11 13:07:44 -05:00
|
|
|
pub env: FxHashMap<String, String>,
|
2018-08-27 14:03:19 -05:00
|
|
|
}
|
2018-08-29 10:03:14 -05:00
|
|
|
|
|
|
|
#[derive(Serialize, Debug)]
|
|
|
|
#[serde(rename_all = "camelCase")]
|
|
|
|
pub struct SourceChange {
|
|
|
|
pub label: String,
|
|
|
|
pub source_file_edits: Vec<TextDocumentEdit>,
|
|
|
|
pub file_system_edits: Vec<FileSystemEdit>,
|
|
|
|
pub cursor_position: Option<TextDocumentPositionParams>,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Serialize, Debug)]
|
|
|
|
#[serde(tag = "type", rename_all = "camelCase")]
|
|
|
|
pub enum FileSystemEdit {
|
|
|
|
CreateFile {
|
|
|
|
#[serde(with = "url_serde")]
|
2018-10-15 16:44:23 -05:00
|
|
|
uri: Url,
|
2018-08-29 10:03:14 -05:00
|
|
|
},
|
|
|
|
MoveFile {
|
|
|
|
#[serde(with = "url_serde")]
|
|
|
|
src: Url,
|
|
|
|
#[serde(with = "url_serde")]
|
|
|
|
dst: Url,
|
2018-10-15 16:44:23 -05:00
|
|
|
},
|
2018-08-29 10:03:14 -05:00
|
|
|
}
|
2018-09-02 06:46:15 -05:00
|
|
|
|
2018-09-03 15:32:42 -05:00
|
|
|
pub enum InternalFeedback {}
|
2018-09-02 06:46:15 -05:00
|
|
|
|
2018-09-03 15:32:42 -05:00
|
|
|
impl Notification for InternalFeedback {
|
|
|
|
const METHOD: &'static str = "internalFeedback";
|
|
|
|
type Params = String;
|
2018-09-02 06:46:15 -05:00
|
|
|
}
|