souffle lsp plugin

SouffléDatalogLanguage Server ReadMe

Souffléは、Datalogに触発された論理プログラミング言語です。 Souffléは最初は静的プログラム分析用に設計されており、それ以来、リバースエンジニアリング、ネットワーク分析、データ分析のアプリケーションなど、Soufflé言語で書かれた他の多くのアプリケーションがあります。

これは、言語サーバープロトコルを使用して、Soufflé言語に基本的なスマート機能を追加するプラグインです。

構文の強調表示については、https：//marketplace.visualstudio.com/items?itemname=w4rh4wk.souffle-syntaxを参照してください

ユーザーは、プラグインが適切に動作するように設定にJava_home変数を設定する必要があります。

特徴

• ファイルを保存するときの自動補償。

• 構文エラーレポート

• Souffle-Lintとの統合（ユーザーシステムで利用可能な場合）

• ホバー（ホーバーに関する宣言情報を提供）

• 定義に移動します

• タイプ定義に移動します

• オートコンプリート

• 署名ヘルプ

• 名前を変更します

• すべての参照を見つけます

• 関係のすべてのルールを見つけます

• .input/.output for relationを生成します

• 抽出タイプ

• ファクト /ルールテンプレートのスニペット

• decl / comp生成のためのスニペット

• 非推奨コード警告とクイックフィックス

• ドキュメントのコメントを再フォーマットします

• ドキュメント記号

要件

ユーザーは、システムにJavaをインストールする必要があります。

ソースからビルド

サーバーJARファイルを自分で構築するには、上部レベルで./gradlew jarするだけで実行されます。

サーバーを実行するには、生成されたJARファイルの名前でjava -jarを実行します。

VSコードプラグインの実行npm run packageの場合、結果の.jsファイルはdist/extension.jsの下にあります

既知の問題

C Preprocessorマクロを大量に使用しているライブラリでは、解析が誤った構文エラーを与えられる場合があります。

ノートをリリースします

0.3.1

タイプオートコンプリートの提案のマイナーな修正

0.3.0

• プリミティブタイプリストが追加されたオートコンプリート
• 関係データ構造リストを追加しました
• より良いタイプのドキュメント（スーパータイプを含む）
• 非推奨コード警告を追加しました

0.2.5

• スニペットのサポートを追加しました
  • 事実 /ルールテンプレート
  • Decl / Comp生成

0.2.1

• Souffle-Lintのスロールールのサポートを追加しました
• 多くのワンライン//スタイルのコメントのサポートを追加しました。

0.2.0

• Souffle-Lintとの統合を追加しました。
• Souffle-Lintをトリガーするためにソースコードアクションを追加しました
• タイプを抽出するためのコードアクションが追加されました

0.1.6

ドキュメントコメントを再フォーマットするためのコードアクションが追加されました。

0.1.5

関係の.input/.outputを生成するためのコードアクションが追加されました。

0.1.2

readmeを更新しました

0.1.1

• 文法をSouffleに匹敵するように変更しました。
• 追加されたアイコン。

0.1.0

SouffléDatalog言語サーバーの初期リリース。