Summary

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

Details

Page properties

Content

...	...	@@ -193,7 +193,6 @@
193	193	class KiCoolLanguageServerExtension implements ILanguageServerExtension, CommandExtension, ILanguageClientProvider {
194	194	// fancy extension stuff
195	195
196		- var KeithLanguageClient client
197	197	// A language server extension must implement the initialize method,
198	198	// it is however only called if the extension is registered via a language.
199	199	// This should never be the case, so this is never called.
...	...	@@ -200,16 +200,6 @@
200	200	override initialize(ILanguageServerAccess access) {
201	201	this.languageServerAccess = access
202	202	}
203		-
204		- // implement ILanguageClientProvider
205		- override setLanguageClient(LanguageClient client) {
206		- this.client = client as KeithLanguageClient
207		- }
208		-
209		- // implement ILanguageClientProvider
210		- override getLanguageClient() {
211		- return this.client
212		- }
213	213
214	214	}
215	215	{{/code}}
...	...	@@ -216,7 +216,7 @@
216	216
217	217	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 is an example how to [[define a server side extension interface.>>doc:||anchor="Registeranextension(onserverside)"]]
218	218
219		-The ILanguageClientProvider should be implemented by an extension that plans to send [[messages from the server to the client>>doc:||anchor="ServerClientcommunicationinterface"]].
	208	+\\
220	220
221	221	This language server extension is provided by a corresponding contribution, which is later used to access it:
222	222
...	...	@@ -304,12 +304,6 @@
304	304
305	305	This defines three json-rpc commands: "keith/kicool/compile", "keith/kicool/show", "keith/kicool/get-systems". These are implemented in KiCoolLanguageServerExtension.
306	306
307		-\\
308		-
309		-== Server Client communication interface ==
310		-
311		-Not only messages from client to server but rather mesages from server client might be needed
312		-
313	313	== Register and calling an extension (on client side) ==
314	314
315	315	Language server extension do not have to be registered on the client side. It is just called.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-57802996
	1	+57802994

URL

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