souffle lsp plugin
0.3.8
Soufflé هي لغة برمجة منطقية مستوحاة من Datalog. تم تصميم Soufflé في البداية لتحليل البرنامج الثابت ، ومنذ ذلك الحين ، كان هناك العديد من التطبيقات الأخرى المكتوبة بلغة Soufflé ، بما في ذلك التطبيقات في الهندسة العكسية وتحليل الشبكة وتحليلات البيانات.
هذا مكون إضافي يضيف الميزات الذكية الأساسية إلى لغة Soufflé ، باستخدام بروتوكول خادم اللغة.
لإبراز بناء الجملة ، الرجوع إلى: https://marketplace.visualstudio.com/items؟itemname=w4rh4wk.souffle-syntax
يحتاج المستخدم إلى تعيين متغير JAVA_HOME في الإعدادات التي يعمل عليها المكون الإضافي بشكل صحيح.
إعادة تلقائي عند حفظ الملف.
الإبلاغ عن خطأ بناء الجملة
قصاصات لقوالب الحقائق / القواعد
قصاصات لتوليد CENS / COMP
تحذير من الكود المنخفض و Quickfixes
تعليمات التوثيق
يحتاج المستخدم إلى تثبيت Java على نظامه.
لإنشاء ملف جرة الخادم بنفسك فقط تشغيل ./gradlew jar
لتشغيل الخادم قم بتشغيل java -jar باسم ملف JAR الذي تم إنشاؤه.
للحصول على مكون الإضافي VS Code Run npm run package .js الناتج سيكون تحت dist/extension.js
في المكتبات مع الاستخدام الكثيف لماكرو C preprocessor ، يفشل التحليل في بعض الأحيان في إعطاء خطأ في بناء الجملة.
إصلاح بسيط في اقتراحات الإكمال التلقائي
الإجراءات المدونة المدونة لإعادة تنسيق تعليقات الوثائق.
الإجراءات المضافة رمز لتوليد .inpt/.Output للعلاقات.
تحديث readme
الإصدار الأولي من Soufflé Datalog Language Server.
