LSP4SPL

LSP4SPL正在为Simple Programming Language (SPL)实现语言服务器协议。

背景

SPL是由THM的Prof. Dr. Hellwig Geisse教授开发的一种编程语言。请参阅由Prof. Dr. Michael Jäger编写的此脚本，了解该语言的规范。

功能

以下LSP功能得到支持

• 转到声明
• 转到定义
• 转到类型定义
• 转到实现
• 查找引用
• 悬停
• 签名帮助
• 折叠范围
• 完成建议
• 重命名
• 准备重命名
• 语义令牌
• 格式化

仓库

此仓库包括以下部分

• 语言服务器 本身
• spl_frontend 库
• VS Code 扩展
• Tree-sitter 语法

安装

您可以从版本页面下载最新的二进制文件。

或者，如果您已安装Rust，可以使用cargo安装二进制文件。

cargo install lsp4spl

当然，您也可以克隆此仓库，然后构建它。

git clone https://github.com/AlecGhost/LSP4SPL.git
cd LSP4SPL
cargo build --release