2 releases
0.1.1 | Nov 9, 2023 |
---|---|
0.1.0 | Aug 5, 2023 |
#38 in #spl
46 downloads per month
Used in 2 crates
(via spl_frontend)
5KB
107 lines
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
Dependencies
~270–720KB
~17K SLoC