LSP4SPL

LSP4SPL is implementing the Language Server Protocol for the Simple Programming Language (SPL).

Background

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.

Features

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

Repository

This repository consists of the following parts:

• the language server itself
• the spl_frontend library
• the VS Code extension
• a Tree-sitter grammar

Installation

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