基础插件安装

在vscode搜索souffle安装两个插件

• souffle-syntax 语法高亮插件
• souffle Datalog Language Server 服务插件

插件配置

该篇插件配置基于win11环境进行编写

souffle Datalog language server（下文简述为soffle插件），在vscode中能看见有两个配置项

• JAVA_HOME java_home的位置
• PATH_LSP 插件jar包位置

该插件需要最低jdk11才能够运行

插件在本地的目录如下

• C:\Users\yulate.vscode\extensions\i-daridis.souffle-lang-server-0.3.8\dist

会有如下两个文件

这两个文件是编译后的结果，我们需要将souffle-lsp-plugin主项目clone 下来再进行编译修改

jdaridis/souffle-lsp-plugin: Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin (github.com)

src/main/vs-code/extension.ts即为插件的主要文件，我们需要进行修改的位置再getServerOptions方法中，我们将自动加载的功能去除，原本的配置只能在linux环境中生效，比如java应该修改为java.exe

在我的修改方案中将LS_HOME（插件jar包目录） 和JAVA_HONE修改为了固定值，即可成功加载插件

在修改完成后需要进行编译，需要本地有如下环境

• npm
• webpack

编辑完成后的结果会存放在dist文件夹中，将其覆盖到vscode安装插件的配置文件夹即可，上文已经给出了目录。

在完成如上配置后修改后重启vscode即可完成插件的部署

插件调试

这里提到一个小技巧，vscode是能够进行调试的，比如console.log打印的内容是能够在vscode开发者模式中能看到结果的内容

• 帮助-> 切换开发人员工具

即可看见打印的内容和报错内容