Summary

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

Details

Page properties

Content

...	...	@@ -3,7 +3,7 @@
3	3	{{layout-cell}}
4	4	KEITH[1][2] is an IDE based on KIELER[3]. It uses KIELER as a [[language server>>url:https://microsoft.github.io/language-server-protocol/||shape="rect"]] to provide rich client features for SCCharts[4], Lustre, Esterel, ELK, KGraph, and some intermediary languages.
5	5
6		-KEITH user experience is heavily influenced by VSCode, since the inderlying IDE framework [[Theia>>url:https://www.theia-ide.org/||shape="rect"]] is heavily influenced by it. The user should be able to use this tool without clicking buttons in extensive dialogs. THis influences the design and user story as described in TODO
	6	+KEITH user experience is heavily influenced by VSCode, since the underlying IDE framework [[Theia>>url:https://www.theia-ide.org/||shape="rect"]] is heavily influenced by it. The user should be able to use this tool without clicking buttons in extensive dialogs. THis influences the design and user story as described in TODO
7	7
8	8	KEITH runs in a browser. You can either start KEITH and connect to an url (i.e. localhost:3000) via a browser (this will henceforth be called the browser version of KEITH), or start an electron app with a browser that runs KEITH inside (henceforth called the electron version of KEITH). Since the electron app might use a different chromium browser some UI elements might be displayed differently, but both version work the same. The electron version is bundled via the electron-builder framework to build an appimage or an archive into the henceforth called product. Both version have two alternatives to connect to the language server (LS). KEITH can connect to the LS via a socket. This is the only way to debug the LS. In the product KEITH connects to the LS via stdio/out and has to know the relative path to the LS application.
9	9

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-62783535
	1	+62783536

URL

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