The server is still in an early state. It is usable but many advanced features have not yet been implemented.
The server has not yet had a stable release. You can build and install it locally if you would like to experiment with it in the meantime.
The easiest way to install the server is to grab one of the prebuilt binaries under releases.
First ensure you have the rust toolchain installed, then proceed as follows:
git clone https://github.com/ddlog-lsp/ddlog-lsp
cd ddlog-lsp
cargo xtask init
cargo xtask install
The server is runtime agnostic and can be configured to run on async-std
, futures
, smol
, or tokio
.
The table below describes how to select a runtime. The tokio
runtime is selected by default.
runtime | command |
---|---|
async-std |
cargo xtask install --runtime=async-std |
futures |
cargo xtask install --runtime=futures |
smol |
cargo xtask install --runtime=smol |
tokio |
cargo xtask install --runtime=tokio |
Once the server is installed you can install the Visual Studio Code client extension.
- πΉ document parsing via ddlog tree-sitter grammars
- πΉ document symbol provider
- πΉ syntax error diagnostics provider
- πΉ incremental document synchronization
- β code action provider
- β code lens provider
- β completion provider
- β definition provider
- β document formatting (full and ranged) provider
- β document highlight provider
- β hover provider
- β references provider
- β semantic tokens provider
- β signature help provider
- β workspace symbol provider
- β implementation of the Debug Adapter Protocol
- β document validation