Page tree
Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 5 Next »

First step is to set up an Eclipe to develop KIELER and the KEITH Language Server in. You might need both to test all features on both platforms.

If you find anything in the Setup guides that seems unclear or is wrong feel free to contact us.

Set up KIELER development Eclipse

Follow the Getting Eclipse guide and select KIELER semantics and KIELER pragmatics.



Set up KEITH development Eclipse


Follow the Running KEITH guide and select only KIELER semantics (you don't need ELK). Be sure to select the keith stream.

Follow the guide to set up an Eclipse to develop the language server and set up Keith.

KEITH does not work on Mac. If you only have a Mac you are only able to develop for KIELER.

Repositories that you might need

RepoLocationContents
KIELER Semanticshttps://git.rtsys.informatik.uni-kiel.de/projects/KIELER/repos/semantics/browse

Languages such as SCCharts, Esterel, Lustre as well as compilation and simulation tools as well as the semantic language server for KEITH. In here is the AdaptiveZoom class.

You might not want to change much in there. It is mostly to show what approaches already exist.

KIELER Pragmatics

https://git.rtsys.informatik.uni-kiel.de/projects/KIELER/repos/pragmatics/browse

Not interesting for you.
KlighD

https://github.com/kieler/KLighD

The KGraph language, the pragmatics language server, and the KIELER lightweight diagram framework.
KEITH

https://git.rtsys.informatik.uni-kiel.de/projects/KIELER/repos/keith/browse

Typescript client that connects to the language server. Renders diagram via Sprotty.

  • No labels