souffle lsp plugin

Soufflé Datalog Language Server ReadMe

Soufflé é uma linguagem de programação lógica inspirada no Datalog. O Soufflé foi projetado inicialmente para análise estática do programa e, desde então, houve muitas outras aplicações escritas no idioma suflé, incluindo aplicativos em engenharia reversa, análise de rede e análise de dados.

Este é um plug -in que adiciona recursos inteligentes básicos ao idioma suflé, usando o Protocolo do Servidor de Idiomas.

Para destaque da sintaxe Consulte: https://marketplace.visualstudio.com/items?itemname=w4rh4wk.souffle-syntax

O usuário precisa definir a variável java_home nas configurações para o plug -in funcionar corretamente.

Características

• REPARO AGRONALIZADO Ao salvar o arquivo.

• Relatórios de erro de sintaxe

• Integração com suffle-lint (se disponível no sistema de usuário)

• Passe o mouse (forneça informações de declaração sobre os paus)

• Vá para a definição

• Vá para a definição de tipo

• AutoComplete

• Ajuda da assinatura

• Renomear

• Encontre todas as referências

• Encontre todas as regras para a relação

• Gerar .Input/.Output para relação

• Tipo de extrato

• Trechos para modelos de fatos / regras

• Trechos para geração de decl / comp

• Aviso de código descontinuado e Quickfixes

• Comentários de documentação de reforma

• Símbolos de documentos

Requisitos

O usuário precisa ter o Java instalado em seu sistema.

Construir a partir da fonte

Para construir o arquivo JAR do servidor, basta executar ./gradlew jar no nível superior e o frasco resultante estará em construção/libs.

Para executar o servidor, execute java -jar com o nome do arquivo JAR gerado.

Para o plug -in de código VS, execute npm run package e o arquivo .js resultante estarão em dist/extension.js

Questões conhecidas

Nas bibliotecas com uso pesado das macros do pré -processador C, às vezes a análise falha dando um erro de sintaxe falsa.

Notas de liberação

0.3.1

Menor correção em sugestões de preenchimento automático de tipo

0.3.0

• Lista de tipos primitivos adicionada preenchimento automático
• Lista de estrutura de dados de relação adicionada
• Melhor documentação de tipo (inclua super tipos)
• Adicionado avisos de código depreciado

0.2.5

• Suporte adicionado para trechos
  • modelo de fato / regra
  • geração de decl / comp

0.2.1

• Adicionado suporte para regras lentas em suflê-lint
• Adicionado suporte para muitos comentários de estilo // de uma linha.

0.2.0

• Integração adicionada com suflê-lint.
• Adicionada ação do código-fonte para desencadear suffle-lint
• Ação de código adicionada para extrair tipos

0.1.6

Ações de código adicionadas para reformatando comentários da documentação.

0.1.5

Ações de código adicionadas para gerar .Input/.Output para relações.

0.1.2

Readme atualizado

0.1.1

• Mudou a gramática para estar a par de suflê.
• Icon adicionado.

0.1.0

Liberação inicial do servidor de idiomas de Datalog Soufflé.