souffle lsp plugin
0.3.8
Souffléเป็นภาษาการเขียนโปรแกรมตรรกะที่ได้รับแรงบันดาลใจจาก Datalog Souffléได้รับการออกแบบครั้งแรกสำหรับการวิเคราะห์โปรแกรมแบบคงที่และตั้งแต่นั้นมามีแอปพลิเคชันอื่น ๆ อีกมากมายที่เขียนในภาษาSouffléรวมถึงแอปพลิเคชันในวิศวกรรมย้อนกลับการวิเคราะห์เครือข่ายและการวิเคราะห์ข้อมูล
นี่คือปลั๊กอินที่เพิ่มคุณสมบัติสมาร์ทพื้นฐานให้กับภาษาSouffléโดยใช้โปรโตคอลเซิร์ฟเวอร์ภาษา
สำหรับไวยากรณ์ที่เน้นการอ้างอิง: https://marketplace.visualstudio.com/items?itemname=w4rh4wk.souffle-syntax
ผู้ใช้จำเป็น ต้องตั้งค่าตัวแปร Java_home ในการตั้งค่าเพื่อให้ปลั๊กอินทำงานได้อย่างถูกต้อง
ซ่อมแซมอัตโนมัติเมื่อบันทึกไฟล์
การรายงานข้อผิดพลาดทางไวยากรณ์
ตัวอย่างสำหรับเทมเพลตจริง / กฎ
ตัวอย่างสำหรับการสร้าง decl / comp
คำเตือนรหัสที่เลิกใช้แล้วและ QuickFixes
ความคิดเห็นเอกสารประกอบใหม่
ผู้ใช้จำเป็นต้องติดตั้ง Java ในระบบของพวกเขา
ในการสร้างไฟล์ jar เซิร์ฟเวอร์ด้วยตัวเองเพียงแค่เรียกใช้ ./gradlew jar ที่ระดับบนสุดและขวดที่ได้จะอยู่ภายใต้ build/libs
ในการเรียกใช้เซิร์ฟเวอร์เรียกใช้ java -jar ด้วยชื่อของไฟล์ jar ที่สร้างขึ้น
สำหรับ npm run package และไฟล์. js จะอยู่ภายใต้ dist/extension.js
ในห้องสมุดที่มีการใช้งานจำนวนมากของแมโครตัวประมวลผล c จำนวนมากบางครั้งการแยกวิเคราะห์ล้มเหลวให้เกิดข้อผิดพลาดทางไวยากรณ์ที่ผิดพลาด
การแก้ไขเล็กน้อยในคำแนะนำการเติมข้อความอัตโนมัติประเภท
เพิ่มการกระทำของรหัสสำหรับการจัดรูปแบบความคิดเห็นของเอกสารประกอบใหม่
เพิ่มการกระทำของรหัสสำหรับการสร้าง. input/.OUTPUT สำหรับความสัมพันธ์
อัปเดต readme
การเปิดตัวครั้งแรกของเซิร์ฟเวอร์ภาษาSoufflé Datalog
