souffle lsp plugin

Soufflé DataLog Language Server Readme

Soufflé es un lenguaje de programación lógica inspirado en Datalog. Soufflé se diseñó inicialmente para el análisis de programas estáticos y desde entonces, ha habido muchas otras aplicaciones escritas en el lenguaje Soufflé, incluidas las aplicaciones en ingeniería inversa, análisis de redes y análisis de datos.

Este es un complemento que agrega características inteligentes básicas al idioma Soufflé, utilizando el protocolo del servidor de idiomas.

Para resaltar sintaxis, consulte: https://marketplace.visualstudio.com/items?itemname=w4rh4wk.souffle-syntax

El usuario necesita establecer la variable Java_Home en Configuración para que el complemento funcione correctamente.

Características

• Releador automático al guardar el archivo.

• Informe de error de sintaxis

• Integración con Souffle-Lint (si está disponible en el sistema de usuario)

• Hover (proporcionar información de declaración sobre Hovers)

• Ir a la definición

• Ir a la definición de tipo

• Autocompletar

• Ayuda de la firma

• Rebautizar

• Encuentra todas las referencias

• Encuentra todas las reglas para la relación

• Generar .Input/.output para la relación

• Tipo de extracto

• Fragmentos para plantillas de hechos / reglas

• Fragmentos para la generación de Decl / Comp

• ADVERTENCIA DE CÓDIGO DESPRECIADO Y COCACHFIXES

• Comentarios de documentación de reformato

• Símbolos de documento

Requisitos

El usuario necesita tener instalado Java en su sistema.

Construir desde la fuente

Para construir el archivo del jar de servidor, simplemente ejecute ./gradlew jar en el nivel superior y el jar resultante estará en construcción/libs.

Para ejecutar el servidor, ejecute java -jar con el nombre del archivo JAR generado.

Para el npm run package del complemento VS Code y el archivo .js resultante estará en Dist/Extension.js

Problemas conocidos

En las bibliotecas con uso intensivo de las macros preprocesador C, a veces el análisis falla dando un error de sintaxis falso.

Notas de lanzamiento

0.3.1

Menor corrección en sugerencias de autocompletar de tipo

0.3.0

• Lista de tipos primitiva agregada autocompletar
• Lista de estructura de datos de relación agregada
• Mejor tipo documentación (incluir super tipos)
• Advertencias de código desaprobadas

0.2.5

• Soporte agregado para fragmentos
  • plantilla de hecho / regla
  • Generación de DecL / Comp

0.2.1

• Se agregó soporte para reglas lentas en Souffle-Lint
• Se agregó soporte para muchos comentarios de estilo //.

0.2.0

• Integración agregada con Souffle-Lint.
• Acción de código fuente agregado para activar Souffle-Lint
• Acción de código agregado para extraer tipos

0.1.6

Se agregaron acciones del código para reformatear los comentarios de documentación.

0.1.5

Acciones de código agregadas para generar .Input/.output para las relaciones.

0.1.2

Readme actualizado

0.1.1

• Cambió la gramática para estar a la par con Souffle.
• Icono agregado.

0.1.0

Liberación inicial del servidor de lenguaje Soufflé DataLog.