文件名称:ddlog-lsp:DDlog的语言服务器实现
文件大小:53KB
文件格式:ZIP
更新时间:2024-03-02 03:10:26
Rust
ddlog-lsp DDlog的语言服务器实现 状态 服务器仍处于早期状态。 它是可用的,但尚未实现许多高级功能。 用法 该服务器尚未发布稳定版本。 如果您想同时进行试验,可以在本地构建和安装它。 安装服务器 预建的二进制文件 安装服务器的最简单方法是获取中的预构建二进制文件之一。 从源头建造 首先确保您已安装,然后按以下步骤进行: git clone https://github.com/ddlog-lsp/ddlog-lsp cd ddlog-lsp cargo xtask init cargo xtask install 安装客户端扩展 安装服务器后,您可以安装Visual Studio Code。 语言服务器功能支持 via通过 sitter语法进行文档解析
【文件预览】:
ddlog-lsp-main
----.gitmodules(258B)
----rust-toolchain(7B)
----vendor()
--------differential-datalog()
--------tree-sitter-ddlog()
----rustfmt.toml(2KB)
----clippy.toml(0B)
----Cargo.lock(49KB)
----.github()
--------workflows()
--------codecov.yaml(130B)
--------dependabot.yaml(108B)
----crates()
--------server()
--------macros()
--------parsers()
--------cli()
----LICENSE(56B)
----package-lock.json(27B)
----Cargo.toml(225B)
----.gitignore(7KB)
----.cargo()
--------config(110B)
----CODE_OF_CONDUCT.md(270B)
----xtask()
--------src()
--------Cargo.toml(185B)
----README.md(2KB)
----.editorconfig(171B)
----.gitattributes(19B)