souffle lsp plugin

SOUFFLÉ DATALOG LANGUE SERVER Server Readme

Soufflé est un langage de programmation logique inspiré de Datalog. Soufflé a été initialement conçu pour l'analyse des programmes statiques et depuis lors, de nombreuses autres applications ont été écrites dans le langage Soufflé, y compris les applications en ingénierie inverse, analyse de réseau et analyse des données.

Il s'agit d'un plugin ajoutant des fonctionnalités intelligentes de base à la langue Soufflé, en utilisant le protocole de serveur de langue.

Pour la mise en évidence de la syntaxe, reportez-vous à: https://marketplace.visualstudio.com/items?itemname=w4rh4wk.souffle-syntax

L'utilisateur doit définir la variable Java_Home dans les paramètres pour que le plugin fonctionne correctement.

Caractéristiques

• Reparsing automatique lors de l'enregistrement du fichier.

• Rapports d'erreur de syntaxe

• Intégration avec Souffle-lint (si disponible sur le système utilisateur)

• Hover (fournir des informations sur la déclaration sur les planches)

• Aller à la définition

• Aller à la définition de type

• Assortiment automatique

• Aide à la signature

• Rebaptiser

• Trouvez toutes les références

• Trouvez toutes les règles de relation

• Générer .input / .output pour la relation

• Type d'extrait

• Extraits pour les modèles de faits / règles

• Extraits pour la génération Dec / Comp

• AVERTISSEMENT DE CODE AMONNÉE ET FILTSFIXES

• Commentaires de documentation Reformat

• Symboles de documents

Exigences

L'utilisateur doit faire installer Java sur son système.

Construire à partir de la source

Pour construire le pot de serveur, fichier vous-même, exécutez ./gradlew jar au niveau supérieur et le pot résultant sera sous build / libs.

Pour exécuter le serveur, exécutez java -jar avec le nom du fichier JAR généré.

Pour le npm run package et le fichier .js résultant sera sous dist / Extension.js

Problèmes connus

Dans les bibliothèques avec une utilisation intensive des macros de préprocesseur C, l'analyse de l'analyse échoue parfois en donnant une fausse erreur de syntaxe.

Notes de libération

0.3.1

Correction mineure dans les suggestions de saisie semi-automatique

0.3.0

• Ajout de la liste des types primitifs
• Liste de structure de données de relation ajoutée
• Meilleure documentation de type (inclure des super types)
• Ajout des avertissements de code obsolètes

0.2.5

• Ajout de la prise en charge des extraits
  • modèle de fait / règle
  • GÉNÉRATION DE DÉCR / COM

0.2.1

• Ajout de la prise en charge des règles lents dans Souffle-lint
• Ajout de la prise en charge de plusieurs commentaires de style en une ligne //.

0.2.0

• Ajout d'intégration avec Souffle-lint.
• Ajout d'action du code source pour déclencher un soufle-lint
• Ajout de l'action du code pour extraire les types

0.1.6

Ajout d'actions de code pour reformater les commentaires de la documentation.

0.1,5

Ajout d'actions de code pour générer .input / .output pour les relations.

0.1.2

Readme mis à jour

0.1.1

• A changé la grammaire pour être à égalité avec Souffle.
• Icône ajoutée.

0.1.0

Libération initiale du serveur de langage Datalog Language Soufflé.