هذا هو مقهى الأوامر الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
Cafeobj - المواصفات الجبرية ولغة البرمجة
موجز
com.cafeobj [OPTION] ... [FILES] ...
الوصف
يبدأ ملف مقهىOBJ مترجم.
مقهىOBJ هي لغة المواصفات الرسمية الأكثر تقدمًا والتي ترث العديد من المواصفات المتقدمة
الميزات (على سبيل المثال، بناء جملة مرن للإصلاح المختلط، ونظام كتابة قوي وواضح مع ترتيب
الأنواع والوحدات المعلمية وطرق العرض لإنشاء مثيل للمعلمات والوحدة النمطية
التعبيرات، وما إلى ذلك) من لغة المواصفات الجبرية OBJ (أو بتعبير أدق OBJ3).
CafeOBJ هي لغة لكتابة المواصفات الرسمية (أي الرياضية) للنماذج
أنواع واسعة من البرمجيات والأنظمة والتحقق من خصائصها. مقهىOBJ
يطبق المنطق المعادلي عن طريق إعادة الكتابة ويمكن استخدامه كنظرية تفاعلية قوية
نظام إثبات. يمكن للمحددين كتابة درجات الإثبات أيضًا في CafeOBJ وإجراء البراهين من خلالها
تنفيذ عشرات الإثبات.
يمتلك CafeOBJ دلالات منطقية صارمة ومتطورة تعتمد على المؤسسات. مقهىOBJ
يُظهر المكعب بنية المنطق المختلفة الكامنة وراء الجمع بين المنطق المتنوع
النماذج التي تنفذها اللغة. تعتمد أيضًا درجات الإثبات في CafeOBJ على
دلالات صارمة تعتمد على المؤسسة، ويمكن بناؤها باستخدام مجموعة كاملة من الأدلة
القواعد.
OPTIONS
هناك فئتان من الخيارات. الأول هو خيارات ل com.cafeobj النصي المجمع
الذي يسمح بتحديد مترجم Common Lisp الأساسي، وضبط مسار البحث
المعلمات.
-محرك اسم
يختار محرك اللثغة المشترك الأساسي. إذا لم يتم تقديمه، يتم اختيار الأول
أثناء وقت البناء يتم استخدامه.
-قائمة المحركات
يسرد كافة محركات اللثغة المشتركة المتاحة
-المجمع libpath PATH
يضبط المسار حيث يتم العثور على تفريغ الذاكرة لمترجمي اللثغة
-مجمع مسار المشاركة PATH
يضبط المسار حيث يتم البحث في ملفات تهيئة CafeOBJ
يتم توجيه مجموعة الخيارات التالية إلى مترجم CafeOBJ مباشرةً:
-مساعدة طباعة رسالة مساعدة
-q لا تقم بتحميل ملف التهيئة الخاص بالمستخدم
-حزمة تشغيل في وضع الدفعة
-p PATH
يعطي وحدات تعريف ملف المقدمة القياسية
+p PATH
تحميل ملف تمهيدي إضافي
-l قائمة دير
قم بتعيين قائمة بأسماء المسارات لمسار بحث الوحدة، مفصولة بنقطتين
+l قائمة دير
يضيف قائمة اسم المسار لمسار البحث عن الوحدة
FILES الملفات التي يتم تحميلها عند بدء التشغيل بالترتيب.
استخدم Cafeobj عبر الإنترنت باستخدام خدمات onworks.net