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 -== ServiceLoader Example == 178 +== Register LanguageServerExtensions (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-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. 180 +This is a LanguageServerExtension. It has to be used in the de.cau.cs.kieler.language.server plugin. Since the language-server-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,11 +190,23 @@ 190 190 * 191 191 */ 192 192 @Singleton 193 -class KiCoolLanguageServerExtension implements ILanguageServerExtension, CommandExtension { 194 - // fancy extension stuff 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 + 195 195 } 196 196 {{/code}} 197 197 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 + 198 198 This language server extension is provided by a corresponding contribution, which is later used to access it: 199 199 200 200 {{code}} ... ... @@ -240,7 +240,7 @@ 240 240 241 241 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. 242 242 243 -{{code}} 255 +{{code title="Example CommandExtension"}} 244 244 package de.cau.cs.kieler.kicool.ide.language.server 245 245 246 246 import java.util.concurrent.CompletableFuture
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -578029 871 +57802992 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/578029 87/Running KEITH1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/57802992/Running KEITH