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語言服務器的初始版本。