2 releases

0.1.1 Nov 9, 2023
0.1.0 Aug 5, 2023

#40 in #spl

37 downloads per month
Used in 2 crates (via spl_frontend)

MIT license

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:

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

~240–690KB
~16K SLoC