ddlog-lsp：DDlog的语言服务器实现
需积分: 9 166 浏览量
2021-02-10
09:23:46
上传
评论
收藏 53KB ZIP 举报
ddlog-lsp-main.zip （49个子文件） 
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 release.yaml 2KB main.yaml 8KB codecov.yaml 130B dependabot.yaml 108B crates server build.rs 164B src handler.rs 2KB core error.rs 1KB text.rs 475B document.rs 2KB session.rs 4KB package.rs 99B provider document_symbol.rs 3KB diagnostics.rs 1KB document_symbol dat.rs 252B dl.rs 8KB provider.rs 109B server.rs 3KB lib.rs 193B core.rs 205B Cargo.toml 2KB macros src lib.rs 4KB Cargo.toml 546B parsers build.rs 1KB src core error.rs 620B language.rs 1KB mod.rs 258B parser.rs 929B language dat.rs 16KB dl.rs 15KB lib.rs 537B Cargo.toml 1KB cli src bin main.rs 2KB Cargo.toml 1KB LICENSE 56B package-lock.json 27B Cargo.toml 225B .gitignore 7KB .cargo config 110B CODE_OF_CONDUCT.md 270B xtask src main.rs 20KB Cargo.toml 185B README.md 2KB .editorconfig 171B .gitattributes 19B资源评论
