Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Abstract:

As the number of code editors and programming languages rises, language servers, which communicate with the editor to provide language-specific smarts, are getting more relevant. Traditionally this hard work hat been repeated for each editor as each editor api was different. This can be avoided with a standard. The _de facto_ standard to realize editing support for languages is the language server protocol (LSP). This work implements a LSP compatible language server for the OWL 2 manchester syntax/notation (OMN) using the incremental parser generator treesitter. It provides language features like auto complete, go to definition and inlay hints, wich are critical in large OMN files, as it would be tedious and error prone without a graphical editor. We also evaluate the practical relevance of the LSP qualitatively.