هذا هو الأمر modelicac الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
موديليكاك - موديليكاك هو مترجم لمجموعة فرعية من لغة موديليكا بما في ذلك الأجزاء
من مجموعة فرعية "المعادلة" التي يمكنها التعبير عن العلاقات بين المتغير الحقيقي.
موجز
com.modelicac [-ج] [-أو ] [ -L دليل | -hpath دليل | -يحفظ-
جميع المتغيرات | -جاك | -عدم إزالة المعلمة | -لا تبسيط | -أثر اسم الملف | -xml ]
توثق صفحة الدليل هذه بإيجاز ملف com.modelicac الأوامر. لاحظ أن modelicac هو فقط
متوفر على النظام الأساسي الذي يدعمه ocamlopt (أي amd64 hurd-i386 i386 powerpc
سبارك)
OPTIONS
يتم تضمين قائمة كاملة من الخيارات أدناه.
-c تجميع فقط، لا إنشاء مثيل. يقوم Modelicac بإنتاج ملف "*.moc" عند استدعائه
مع هذا الخيار.
-o ملف إلاخراج
اضبط اسم ملف الإخراج على (يعمل هذا الخيار أيضًا مع الخيار -c ولكنه كذلك
عديمة الفائدة إلى حد ما بسبب قيود اسم الفئة المذكورة أعلاه).
-L دليل
يضيف إلى قائمة الدلائل التي سيتم البحث فيها عند إنتاج ملف C
(لا يوجد أي تأثير عند استخدامه مع -c).
-hpath دليل
حدد مسارًا لإضافته إلى توجيهات #include في كود C الذي تم إنشاؤه.
-الاحتفاظ بجميع المتغيرات
لا تقم بإزالة أي متغير من النظام الأولي.
-جاك إنشاء رمز مصفوفة جاكوبيان التحليلية.
-عدم إزالة المعلمة
لا تقم بإزالة أي معلمة
-لا تبسيط
مثل -الاحتفاظ بجميع المتغيرات -عدم إزالة المعلمات
-أثر اسم الملف
إنشاء معلومات التتبع لاستدعاءات الوظائف الخارجية
-xml قم بإنشاء إصدار XML للنموذج بدلاً من الكود الهدف
استخدم modelicac عبر الإنترنت باستخدام خدمات onworks.net
