souffle lsp plugin

soufflédatalog语言服务器redme

Soufflé是一种灵感来自Datalog的逻辑编程语言。 Soufflé最初是为静态程序分析而设计的，从那以后，还有许多其他用蛋奶酥语言编写的应用程序，包括反向工程，网络分析和数据分析中的应用程序。

这是一个使用语言服务器协议，为蛋饼语言添加基本智能功能的插件。

有关语法的突出显示，请参阅：https：//marketplace.visualstudio.com/items?itemname=w4rh4wk.souffle-syntax

用户需要在设置中设置Java_home变量，以使插件正常工作。

特征

• 保存文件时自动重新定制。

• 语法错误报告

• 与Souffle-lint集成（如果在用户系统上可用）

• 悬停（提供有关悬停的声明信息）

• 转到定义

• 转到类型定义

• 自动完成

• 签名帮助

• 重命名

• 查找所有参考

• 找到所有关系规则

• 生成.input/.output用于关系

• 提取类型

• 事实 /规则模板的片段

• 申报 / compen的摘要

• 弃用的代码警告和QuickFixes

• 重构文档评论

• 文档符号

要求

用户需要在其系统上安装Java。

从源构建

要自己构建服务器罐文件，请在顶级上运行./gradlew jar ，所得的jar将在构建/libs下。

要运行服务器运行java -jar并使用生成的JAR文件的名称。

对于VS代码插件，运行npm run package ，结果.js文件将在DIST/EXTENSIND.JS下

已知问题

在大量使用C预处理器宏的库中，有时解析失败会出现错误的语法错误。

发行说明

0.3.1

类型的自动完成建议中的次要修复

0.3.0

• 添加了原始类型列表自动完成
• 添加了关系数据结构列表
• 更好的类型文档（包括超级类型）
• 添加了弃用的代码警告

0.2.5

• 添加了对片段的支持
  • 事实 /规则模板
  • 申报 /补偿

0.2.1

• 在蛋flin中增加了对慢速规则的支持
• 添加了对许多单行//样式评论的支持。

0.2.0

• 添加了与Souffle-lint的集成。
• 添加了源代码操作以触发蛋奶酥薄荷
• 添加了代码操作以提取类型

0.1.6

添加了用于重新格式化文档注释的代码操作。

0.1.5

添加了用于生成的代码操作。

0.1.2

更新的读数

0.1.1

• 更改了语法与蛋奶酥相当。
• 添加了图标。

0.1.0

蛋souffléDataLog语言服务器的初始版本。