Changes for page Running KEITH
Last modified by Richard Kreissig on 2023/09/14 08:48
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -175,9 +175,9 @@ 175 175 176 176 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: 177 177 178 -== Register LanguageServerExtensions (ServiceLoader Example)==178 +== ServiceLoader Example == 179 179 180 -This is a LanguageServerExtension. It has to be used in the de.cau.cs.kieler.language.server plugin. Since the language-se rver-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.180 +This is a LanguageServerExtension. It has to be used in the de.cau.cs.kieler.language.server plugin. Since the language-sever-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. 181 181 182 182 Here is such an example extension, the KiCoolLanguageServerExtension: 183 183 ... ... @@ -190,23 +190,11 @@ 190 190 * 191 191 */ 192 192 @Singleton 193 -class KiCoolLanguageServerExtension implements ILanguageServerExtension, CommandExtension, ILanguageClientProvider { 194 - // fancy extension stuff 195 - 196 - // A language server extension must implement the initialize method, 197 - // it is however only called if the extension is registered via a language. 198 - // This should never be the case, so this is never called. 199 - override initialize(ILanguageServerAccess access) { 200 - this.languageServerAccess = access 201 - } 202 - 193 +class KiCoolLanguageServerExtension implements ILanguageServerExtension, CommandExtension { 194 + // fancy extension stuff 203 203 } 204 204 {{/code}} 205 205 206 -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). 207 - 208 -\\ 209 - 210 210 This language server extension is provided by a corresponding contribution, which is later used to access it: 211 211 212 212 {{code}} ... ... @@ -252,7 +252,7 @@ 252 252 253 253 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. 254 254 255 -{{code title="Example CommandExtension"}}243 +{{code}} 256 256 package de.cau.cs.kieler.kicool.ide.language.server 257 257 258 258 import java.util.concurrent.CompletableFuture
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -578029 921 +57802987 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/578029 92/Running KEITH1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/57802987/Running KEITH