souffle lsp plugin

Soufflé Datalog Language Server Readme

Soufflé ist eine von Datalog inspirierte logische Programmiersprache. Soufflé wurde ursprünglich für die statische Programmanalyse entwickelt. Seitdem wurden in der Soufflé -Sprache viele andere Anwendungen geschrieben, einschließlich Anwendungen in Reverse Engineering, Netzwerkanalysen und Datenanalysen.

Dies ist ein Plugin, das der Soufflé -Sprache mithilfe des Sprachserverprotokolls grundlegende intelligente Funktionen hinzufügt.

Für die Syntax-Hervorhebung finden Sie unter: https://marketplace.visualstudio.com/items?itemname=W4RH4WK.Souffle-Syntax

Der Benutzer muss die Variable java_home in Einstellungen festlegen, damit das Plugin ordnungsgemäß funktioniert.

Merkmale

• Automatisches Reparieren beim Speichern der Datei.

• Syntax -Fehlerberichterstattung

• Integration mit Souffle-Lint (falls im Benutzersystem verfügbar)

• Schweben (Erklärungsinformationen zu Biegenbildern geben)

• Gehen Sie zur Definition

• Gehen Sie zur Definition der Typ

• Automatisch vervollständigt

• Signaturhilfe

• Umbenennen

• Finden Sie alle Referenzen

• Finden Sie alle Regeln für die Beziehung

• Generieren .Input/.output für die Beziehung

• Typ extrahieren

• Snippets für Fakt- / Regelvorlagen

• Snippets für Decl / Comp -Generation

• Veraltete Codewarnung und Quickfixes

• Dokumentationskommentare neu format

• Dokumentsymbole

Anforderungen

Der Benutzer muss Java auf seinem System installieren lassen.

Aus der Quelle bauen

Um die Server -JAR -Datei selbst zu erstellen, werden einfach ausgeführt ./gradlew jar

Um den Server auszuführen, führen Sie java -jar mit dem Namen der generierten JAR -Datei aus.

Für das VS -Code -Plugin führen Sie npm run package aus und die resultierende .js -Datei befindet sich unter dist/extension.js

Bekannte Probleme

In Bibliotheken mit starker Verwendung des C -Präprozessor -Makros fällt es manchmal nicht an, einen falschen Syntaxfehler zu erzielen.

Versionshinweise

0.3.1

Geringfügige Fix in den Vorschlägen von Autokapostypen vom Typ

0.3.0

• Primitive Type List Autocomplete hinzugefügt
• Liste der Beziehungsdatenstruktur hinzugefügt
• Bessere Typdokumentation (Supertypen enthalten)
• Veraltete Codewarnungen hinzugefügt

0.2.5

• Unterstützung für Snippets hinzugefügt
  • Fakt / Regelvorlage
  • Deklar / Comp -Generation

0.2.1

• Unterstützung für langsame Regeln in Souffle-Lint hinzugefügt
• Unterstützung für viele einzeilige //-Style-Kommentare hinzugefügt.

0.2.0

• Integration mit Souffle-Lint hinzugefügt.
• Quellcode-Aktion hinzugefügt, um Souffle-Lint auszulösen
• Code -Aktion hinzugefügt, um Typen zu extrahieren

0,1,6

Codesaktionen für die neu formatierende Dokumentationskommentare hinzugefügt.

0,1,5

Codesaktionen für das Generieren von .Input/.output für Beziehungen hinzugefügt.

0,1,2

Aktualisiert Readme

0,1.1

• Änderte die Grammatik, um mit Souffle auf dem Niveau zu sein.
• Ikone hinzugefügt.

0,1,0

Erste Veröffentlichung von Soufflé Datalog Language Server.