LSP4SPL is implementing the Language Server Protocol for the Simple Programming Language (SPL).
SPL is a programming language developed by Prof. Dr. Hellwig Geisse at THM. Have a look at this script, written by Prof. Dr. Michael Jäger, for a specification of the language.
The following LSP features are supported:
- Go to Declaration
- Go to Definition
- Go to Type Definition
- Go to Implementation
- Find References
- Hover
- Signature Help
- Folding Range
- Completion Proposals
- Rename
- Prepare Rename
- Semantic Tokens
- Formatting
This repository consists of the following parts:
- the language server itself
- the spl_frontend library
- the VS Code extension
- a Tree-sitter grammar
You can download the latest binary from the releases page.
Alternatively, you can install the binary with cargo
,
if you have Rust installed.
cargo install lsp4spl
Of course, you can also clone this repository and then build it.
git clone https://github.com/AlecGhost/LSP4SPL.git
cd LSP4SPL
cargo build --release