Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

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
...	...	@@ -356,4 +356,8 @@
356	356
357	357	Look at examples in KEITH or Theia to see how this is done.
358	358
	371	+== How to make a new module for sprotty (see actionModule, ...) ==
	372	+
	373	+WIP
	374	+
359	359	\\

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-57802854
	1	+57802992

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/57802854/Running KEITH
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/57802992/Running KEITH