Skip to content

Latest commit

 

History

History
536 lines (373 loc) · 41 KB

LSPSupport.md

File metadata and controls

536 lines (373 loc) · 41 KB

LSP support

The current implementation of LSP4IJ does not yet fully adhere to the LSP (Language Server Protocol) specification. This section provides an overview of the supported LSP features for IntelliJ:

Base support

Current state of Base protocol support:

Text Document Synchronization

Current state of Text Document Synchronization support:

Notebooks are not supported.

Language Features

Current state of Language Features support:

Workspace Features

Current state of Workspace Features support:

Window Features

Current state of Window Features support

Implementation details

Progress support

$/progress is implemented with Background Tasks.

Here a sample with Eclipse JDT Language Server:

$/progress

Go to Definition

textDocument/definition is implemented via the
gotoDeclarationHandler extension point. As this extension point supports any language, it works out-of-the-box.

It is also called via Find Usages to show definitions.

References

The textDocument/references is consumed with:

  • the Navigate / LSP Reference(s) global menu.
  • or with the Go To/ LSP Reference(s) editor menu.

textDocument/references menu

This menu action either opens the reference in a popup or navigates to the reference if there are several references:

textDocument/implementation popup

textDocument/references is used too via Find Usages to show references.

Implementation

The textDocument/implementation is consumed with:

  • the Navigate / LSP Implementation(s) global menu.
  • or with the Go To/ LSP Implementation(s) editor menu.

textDocument/implementation menu

This menu action either opens the implementation in a popup or navigates to the implementation if there are several implementations:

textDocument/implementation popup

textDocument/implementation is too used via Find Usages to show implementations.

Type definition

The textDocument/typeDefinition is consumed with:

  • the Navigate / LSP Type Definition(s) global menu.
  • or with the Go To/ Type Definition(s) editor menu.

This menu action either opens the type definition in a popup or navigates to the type definition if there are several type definitions:

textDocument/typeDefinition is used too via Find Usages to show Type definitions.

Declaration

The textDocument/declaration is consumed with:

  • the Navigate / LSP Declaration(s) global menu.
  • or with the Go To/ Declaration(s) editor menu.

This menu action either opens the declaration in a popup or navigates to the declaration if there are several declarations:

textDocument/declaration is used too via Find Usages to show declarations.

Document Highlight

textDocument/documentHighlight is implemented via the highlightUsagesHandlerFactory extension point. As this extension point supports any language, it works out-of-the-box.

Here is an example with the Qute language server, highlighting item variables:

textDocument/documentHighlight

Document Link

textDocument/documentLink is implemented via:

  • an externalAnnotator extension point, to display a documentLink with an hyperlink renderer.
  • a gotoDeclarationHandler extension point, to open the file of the documentLink.`

As those extension points support any language, textDocument/documentLink works out-of-the-box.

Here is an example with the Qute language server, displaying an include template with an hyperlink renderer (Ctrl+Click opens the document link):

textDocument/documentLink

Hover

textDocument/hover is implemented with the platform.backend.documentation.targetProvider extension point, to support any language, making textDocument/hover work out-of-the-box for all languages.

Here is an example with the Qute language server showing documentation while hovering over an include section:

textDocument/hover

Syntax Coloration

LSP4IJ supports Syntax Coloration on hover and completion documentation. Here is an example with Rust Analyzer:

textDocument/hover Syntax Coloration

Syntax Coloration is supported in:

   ```ts
   const s = "";
   const c = s.charAt(0);
   ```

It will apply the TypeScript TextMate highlighting, inferred from the ts file extension, and will be rendered like:

textDocument/hover Syntax Coloration Code Block

>     const s = '';
>     const c = s.charAt(0);

will use the Syntax coloration which triggers the hover / completion.

textDocument/hover Syntax Coloration Blockquote

Syntax coloration discovery

The rules to retrieve the proper syntax coloration are:

  • if the code block defines the file extension, LSP4IJ tries to apply a matching TextMate grammar or custom syntax coloration by filename, mimetype.
  • if the code block defines a language Id (e.g. typescript) and the syntax coloration must be retrieved from TextMate, it will use the fileNamePatterns extension point or [./UserDefinedLanguageServer.md#mappings-tab](fileNamePattern of User defined language server) to find the file extension (e.g. ts) associated with the languageId (e.g. typescript)
   ```typescript
   const s = "";
   const c = s.charAt(0);
   ```
  • if the code block doesn't define the language, or indented blockquotes are used, it will fall back to the syntax coloration from the file in which the hover / completion documentation request was triggered.

If those strategies are insufficient for your needs, please create an issue to request an extension point for mapping the language and the file extension.

CodeLens

textDocument/codeLens is implemented with the codeInsight.codeVisionProvider extension point. As LSP4IJ registers LSPCodeLensProvider for all languages associated with a language server, it works out-of-the-box.

Here is an example with the Qute language server, which shows REST services URL with codeLens:

textDocument/codeLens

Inlay Hint

textDocument/inlayHint is implemented with the codeInsight.inlayProvider extension point. LSP4IJ registers LSPInlayHintProvider for all languages associated with a language server with LSPInlayHintProvidersFactory, so it works out-of-the-box.

Here is an example with the Qute language server showing the parameter's Java type as inlay hint:

textDocument/inlayHint

Document Color

textDocument/documentColor is implemented with the codeInsight.inlayProvider extension point. LSP4IJ registers LSPColorProvider for all languages associated with a language server with LSPInlayHintProvidersFactory, so it works out-of-the-box.

Here is an example with the CSS language server showing the color's declaration with a colored square:

textDocument/documentColor

Completion Proposals

textDocument/completion is implemented with LSPCompletionContributor class declared with the completion.contributor extension point. As this extension point supports any language, it works out-of-the-box.

Here is an example with the Qute language server showing method completion:

textDocument/completion

Completion item resolve

The completionItem/resolve request is implemented to resolve:

  • the documentation property of a completionItem.

Here a sample with TypeScript Language Server completion item which resolves and shows documentation when the completion item is selected:

completionItem/resolve/documentation

  • the detail property of a completionItem.

Here a sample with TypeScript Language Server completion item which resolves and shows detail when the completion item is selected:

completionItem/resolve/detail

  • the additionalTextEdits property of a completionItem.

Signature Help

textDocument/signatureHelp is implemented with the codeInsight.parameterInfo extension point. By default, LSP4IJ registers the codeInsight.parameterInfo with LSPParameterInfoHandler class for TEXT and textmate languages:

<!-- LSP textDocument/signatureHelp -->
<codeInsight.parameterInfo
        id="LSPParameterInfoHandlerForTEXT"
        language="TEXT"
        implementationClass="com.redhat.devtools.lsp4ij.features.signatureHelp.LSPParameterInfoHandler"/>

<codeInsight.parameterInfo
        id="LSPParameterInfoHandlerForTextMate"
        language="textmate"
        implementationClass="com.redhat.devtools.lsp4ij.features.signatureHelp.LSPParameterInfoHandler"/>

If you use another language, you will have to declare codeInsight.parameterInfo with your language. If codeInsight.parameterInfo for the language is already defined by another plugin or the IDE, you can use order="first" to gain priority:

<codeInsight.parameterInfo
        id="YourID"
        language="YourLanguage"
        order="first"
        implementationClass="YourClass"/>

Here is an example with the TypeScript Language Server showing signature help:

textDocument/signatureHelp

Folding range

textDocument/foldingRange is implemented with the lang.foldingBuilder extension point. By default, LSP4IJ registers the lang.foldingBuilder with LSPFoldingRangeBuilder class for TEXT and textmate languages:

<!-- LSP textDocument/folding -->
<lang.foldingBuilder id="LSPFoldingBuilderForText"
                     language="TEXT"
                     implementationClass="com.redhat.devtools.lsp4ij.features.foldingRange.LSPFoldingRangeBuilder"
                     order="first"/>

<lang.foldingBuilder id="LSPFoldingBuilderForTextMate"
                     language="textmate"
                     implementationClass="com.redhat.devtools.lsp4ij.features.foldingRange.LSPFoldingRangeBuilder"
                     order="first"/>

If you use another language, you will have to declare lang.foldingBuilder with your language.

Here is an example with the Go Language Server showing folding:

textDocument/foldingRange

Publish Diagnostics

textDocument/publishDiagnostics is implemented with an externalAnnotator extension point. As this extension point supports any language, it works out-of-the-box.

Here is an example with the Qute language server reporting errors:

textDocument/publishDiagnostics

Code Action

Here is an example featuring the Clojure LSP, which offers code actions:

  • Quickfix code action (at the top): This type of code action is facilitated by registering a quick fix within the IntelliJ annotation.
  • Other code actions such as refactoring (at the bottom): These kinds of code actions are handled using Intentions.

textDocument/codeAction

For the last type of code action, you can enable/disable them using the Intentions / Language Server preference setting.

Language Server Intentions

Rename

textDocument/rename is implemented with LSPRenameHandler class declared with the renameHandler extension point.

Here is an example with the TypeScript Language Server showing rename of function name:

textDocument/rename

Formatting

textDocument/formatting / textDocument/rangeFormatting are implemented with LSPFormattingOnlyService / LSPFormattingAndRangeBothService with the formattingService extension point.

Show Message

window/showMessage supports Markdown messages and clickable links.

Here is an example with Rust Analyzer reporting an error:

{
  "type": 1,
  "message": "Failed to discover workspace.\nConsider adding the `Cargo.toml` of the workspace to the [`linkedProjects`](https://rust-analyzer.github.io/manual.html#rust-analyzer.linkedProjects) setting.\n\nFailed to load workspaces."
}

is rendered as a Balloon notification:

window/showMessage

You can change the notification behavior of LSP/window/showMessage by using the standard UI Notifications preferences :

window/showMessage Notification

Show Message Request

window/showMessageRequest is supported.

Here is an example with Scala Language Server (MetaLS) reporting a message request:

{
  "actions": [
    {
      "title": "Create .scalafmt.conf"
    },
    {
      "title": "Run anyway"
    },
    {
      "title": "Not now"
    }
  ],
  "type": 1,
  "message": "No .scalafmt.conf file detected. How would you like to proceed:"
}

is rendered as a Sticky balloon notification:

window/showMessageRequest

You can change the notification behavior of LSP/window/showMessageRequest by using the standard UI Notifications preferences :

window/showMessageRequest Notification

Semantic Tokens

Before you start reading this section, please read the User Guide to configure support for semantic tokens.

The semantic tokens support:

DefaultSemanticTokensColorsProvider

The following table lists the currently predefined mappings:

  • the Semantic token types column shows the standard LSP Semantic token types.
  • the Semantic modifiers types column shows the standard LSP Semantic modifier types.
  • the SemanticTokensHighlightingColors column defines the TextAttributesKey constants declared in the LSP4IJ SemanticTokensHighlightingColors class.
  • the DefaultLanguageHighlighterColors column defines the standard TextAttributesKey used by IntelliJ that SemanticTokensHighlightingColors inherits.
Semantic token types Semantic modifier types SemanticTokensHighlightingColors (inherited from) DefaultLanguageHighlighterColors
namespace definition NAMESPACE_DECLARATION CLASS_NAME
namespace declaration NAMESPACE_DECLARATION CLASS_NAME
namespace NAMESPACE CLASS_REFERENCE
class definition CLASS_DECLARATION CLASS_NAME
class declaration CLASS_DECLARATION CLASS_NAME
class CLASS CLASS_REFERENCE
enum ENUM CLASS_NAME
interface INTERFACE INTERFACE_NAME
struct STRUCT CLASS_NAME
typeParameter TYPE_PARAMETER PARAMETER
type TYPE CLASS_NAME
parameter PARAMETER PARAMETER
variable static + readonly STATIC_READONLY_VARIABLE CONSTANT
variable static STATIC_VARIABLE STATIC_FIELD
variable readonly READONLY_VARIABLE LOCAL_VARIABLE
variable VARIABLE REASSIGNED_LOCAL_VARIABLE
property static + readonly STATIC_READONLY_PROPERTY CONSTANT
property static STATIC_PROPERTY STATIC_FIELD
property readonly READONLY_PROPERTY INSTANCE_FIELD
property PROPERTY INSTANCE_FIELD
enumMember ENUM_MEMBER STATIC_FIELD
decorator DECORATOR METADATA
event EVENT PREDEFINED_SYMBOL
function defaultLibrary DEFAULT_LIBRARY_FUNCTION STATIC_METHOD
function definition FUNCTION_DECLARATION FUNCTION_DECLARATION
function declaration FUNCTION_DECLARATION FUNCTION_DECLARATION
function FUNCTION FUNCTION_CALL
method definition METHOD_DECLARATION FUNCTION_DECLARATION
method declaration METHOD_DECLARATION FUNCTION_DECLARATION
method static STATIC_METHOD STATIC_METHOD
method METHOD FUNCTION_CALL
macro MACRO KEYWORD
label LABEL LABEL
comment COMMENT LINE_COMMENT
string STRING STRING
keyword KEYWORD KEYWORD
number NUMBER NUMBER
regexp REGEXP VALID_STRING_ESCAPE
modifier MODIFIER KEYWORD
operator OPERATOR OPERATION_SIGN

If you need other mapping:

  • if you think it is a generic mapping, please create a contribution to define a new SemanticTokensHighlightingColors constants
  • if the mapping is specific to your language, use the semanticTokensColorsProvider extension point to define your own provider and mapping.

Workspace Symbol

workspace/symbol is implemented with the gotoSymbolContributor extension point.

Here is an example with the MicroProfile language server collecting JAX-RS endpoints:

workspace/symbol