souffle lsp plugin

Soufflé Datalog Language Server Readme

Soufflé - это логический язык программирования, вдохновленный DataLog. Soufflé был первоначально разработан для анализа статических программ, и с тех пор на языке суфле было написано много других приложений, включая приложения в области обратной инженерии, анализа сети и анализа данных.

Это плагин, добавляющий основные умные функции в язык суфле, используя протокол языкового сервера.

Для выделения синтаксиса см. В качестве: https://marketplace.visualstudio.com/items?itemname=w4rh4wk.souffle-syntax

Пользователь должен установить переменную java_home в настройках для правильной работы плагина.

Функции

• Автоматическая переработка при сохранении файла.

• Синтаксическая отчетность об ошибках

• Интеграция с Souffle-Lint (если доступна в пользовательской системе)

• Ведь (предоставьте информацию об декларации о паряках)

• Перейти к определению

• Перейти к определению типа

• Автозаполнение

• Подпись помощи

• Переименовать

• Найдите все ссылки

• Найти все правила для отношения

• Генерировать. INPUT/.OUTPUT для отношения

• Тип извлечения

• Шаблоны фрагментов для фактов / правил

• Фрагменты для генерации Deck / Comp

• Униженное предупреждение о коде и QuickFixes

• Переформатировать документацию Комментарии

• Символы документа

Требования

Пользователь должен установить Java в свою систему.

Строить из источника

Чтобы построить файл JAR Server, просто запустите ./gradlew jar на верхнем уровне, и полученная JAR будет находиться под сборкой/LIBS.

Чтобы запустить сервер, запустите java -jar с именем сгенерированного файла JAR.

Для плагина VS -кода запустить npm run package , и полученный файл .js будет находиться в Dist/extension.js

Известные проблемы

В библиотеках с сильным использованием препроцессорных макросов C иногда не удается, давая ложную ошибку синтаксиса.

Выпуск заметок

0,3,1

Незначительное исправление в типах предложений автозаполнения

0,3,0

• Добавлен примитивный список типов автозаполнения
• Добавленный список структур данных отношения
• Документация лучшего типа (включайте Super Types)
• Добавлены устаревшие предупреждения кода

0,2,5

• Добавлена ​​поддержка фрагментов
  • Шаблон факта / правила
  • Deck / Comp Generation

0,2,1

• Добавлена ​​поддержка медленных правил в суфле-линте
• Добавлена ​​поддержка многих однострочных // стиля комментариев.

0.2.0

• Добавлена ​​интеграция с Souffle-Lint.
• Добавлено действие исходного кода, чтобы запустить суфле-линт
• Добавлено кодовое действие для извлечения типов

0,1,6

Добавлены кодовые действия для переформатирования комментариев документации.

0,1,5

Добавлены действия кода для генерации .Input/.Output для отношений.

0,1,2

Обновлено readme

0,1,1

• Изменил грамматику, чтобы быть наравне с суфле.
• Добавлен значок.

0,1,0

Первоначальный выпуск Soufflé Datalog Language Server.