souffle lsp plugin

Soufflé Datalog Language Server ReadMe

Souffle adalah bahasa pemrograman logika yang terinspirasi oleh Datalog. Souffle awalnya dirancang untuk analisis program statis dan sejak itu, ada banyak aplikasi lain yang ditulis dalam bahasa Souffle, termasuk aplikasi dalam rekayasa balik, analisis jaringan, dan analisis data.

Ini adalah plugin yang menambahkan fitur pintar dasar ke bahasa Souffle, menggunakan protokol server bahasa.

Untuk Sintaks Sorote Rujuk ke: https://marketplace.visualstudio.com/items?itemname=w4rh4wk.souffle-syntax

Pengguna perlu mengatur variabel java_home dalam pengaturan agar plugin berfungsi dengan baik.

Fitur

• Reparsing otomatis saat menyimpan file.

• Pelaporan Kesalahan Sintaks

• Integrasi dengan Souffle-Lint (jika tersedia di sistem pengguna)

• Arwah (berikan info deklarasi tentang hovers)

• Pergi ke definisi

• Pergi ke Definisi Jenis

• Autocomplete

• Bantuan tanda tangan

• Ganti nama

• Temukan semua referensi

• Temukan semua aturan untuk hubungan

• Menghasilkan .input/.Output untuk relasi

• Jenis ekstrak

• Cuplikan untuk Templat Fakta / Aturan

• Cuplikan untuk generasi SDL / COMP

• Peringatan kode yang sudah usang dan perbaikan cepat

• Komentar Dokumentasi Rugi

• Simbol dokumen

Persyaratan

Pengguna perlu menginstal Java di sistem mereka.

Membangun dari sumber

Untuk membangun file Jar Server sendiri, cukup jalankan ./gradlew jar di level atas dan toples yang dihasilkan akan berada di bawah build/lib.

Untuk menjalankan server Run java -jar dengan nama file jar yang dihasilkan.

Untuk Plugin Vs Code Run npm run package dan file .js yang dihasilkan akan berada di bawah Dist/Extension.js

Masalah yang diketahui

Di perpustakaan dengan banyak penggunaan makro preprocessor C, kadang -kadang parsing gagal memberikan kesalahan sintaks yang salah.

Catatan Rilis

0.3.1

Perbaikan minor dalam jenis saran pelengkapan autokel

0.3.0

• Menambahkan daftar tipe primitif Autocomplete
• Menambahkan Daftar Struktur Data Relasi
• Dokumentasi tipe yang lebih baik (termasuk jenis super)
• Menambahkan peringatan kode yang sudah usang

0.2.5

• Menambahkan dukungan untuk cuplikan
  • Template Fakta / Aturan
  • Generasi Decl / Comp

0.2.1

• Menambahkan dukungan untuk aturan lambat di souffle-lint
• Menambahkan dukungan untuk banyak komentar gaya satu baris //.

0.2.0

• Menambahkan integrasi dengan Souffle-Lint.
• Menambahkan tindakan kode sumber untuk memicu souffle-lint
• Menambahkan Tindakan Kode untuk Mengekstrak Jenis

0.1.6

Tindakan kode yang ditambahkan untuk memformat ulang komentar dokumentasi.

0.1.5

Tindakan kode yang ditambahkan untuk menghasilkan .input/.Output untuk hubungan.

0.1.2

ReadMe yang diperbarui

0.1.1

• Mengubah tata bahasa untuk setara dengan souffle.
• Ikon yang ditambahkan.

0.1.0

Rilis awal server bahasa Souffle Datalog.