Page History
...
We use java ServiceLoader to register stuff. Here is a small example how a LanguageServerExtension is registered via a ServiceLoader and how it is used:
Register LanguageServerExtensions (ServiceLoader Example)
This is a LanguageServerExtension. It has to be used in the de.cau.cs.kieler.language.server plugin. Since the language-severserver-plugin should not have dependencies to all plugins that define a language server extension dependency inversion is used to prevent that. A ServiceLoader does exactly that.
...
| Code Block |
|---|
package de.cau.cs.kieler.kicool.ide.language.server /** * @author really fancy name * */ @Singleton class KiCoolLanguageServerExtension implements ILanguageServerExtension, CommandExtension, ILanguageClientProvider { // fancy extension stuff // A language server extension must implement the initialize method, // it is however only called if the extension is registered via a language. // This should never be the case, so this is never called. override initialize(ILanguageServerAccess access) { this.languageServerAccess = access } } |
The CommandExtension defines all commands (requests or notifications) that are send from client to server. An example how this looks like can be seen in the code snippet Example CommandExtension in the section Register an extension (on server side).
This language server extension is provided by a corresponding contribution, which is later used to access it:
...
What is still missing are the contents of the CommandExtension implemented by the KiCoolLanguageServerExtension. This is an interface defining all additional commands. The CommandExtension looks like this.
| Code Block | ||
|---|---|---|
| ||
package de.cau.cs.kieler.kicool.ide.language.server
import java.util.concurrent.CompletableFuture
import org.eclipse.lsp4j.jsonrpc.services.JsonRequest
import org.eclipse.lsp4j.jsonrpc.services.JsonSegment
/**
* Interface to the LSP extension commands
*
* @author really fancy name
*
*/
@JsonSegment('keith/kicool')
interface CommandExtension {
/**
* Compiles file given by uri with compilationsystem given by command.
*/
@JsonRequest('compile')
def CompletableFuture<CompilationResults> compile(String uri, String clientId, String command, boolean inplace);
/**
* Build diagram for snapshot with id index for file given by uri. Only works, if the file was already compiled.
*/
@JsonRequest('show')
def CompletableFuture<String> show(String uri, String clientId, int index)
/**
* Returns all compilation systems which are applicable for the file at given uri.
*
* @param uri URI as string to get compilation systems for
* @param filter boolean indicating whether compilation systems should be filtered
*/
@JsonRequest('get-systems')
def CompletableFuture<Object> getSystems(String uri, boolean filterSystems)
} |
...
Overview
Content Tools