nescc-wiring - آنلاین در ابر

برنامه:

نام

nescc-wiring - سیم کشی برنامه nesC را بررسی کنید

خلاصه

سیم کشی nescc فایل nesc-xml

شرح

سیم کشی nescc ابزاری برای تأیید اینکه محدودیت های سیم کشی مشخص شده در هر فرد است
مؤلفه ها در یک برنامه nesC رعایت می شوند. این محدودیت های سیم کشی می تواند مشخص کند که یک
رابط ارائه شده یا استفاده شده توسط یک جزء باید حداقل یک بار، حداکثر یک بار، یا سیم کشی شود
دقیقا یکبار اگر هیچ محدودیت سیم‌کشی نقض نشود، سیم‌کشی nescc با یک خروجی خاتمه می‌یابد
وضعیت 0. در غیر این صورت، پیام های خطای مناسب چاپ می شوند و سیم کشی nescc خاتمه می یابد
با وضعیت خروج غیر صفر

محدودیت های سیم کشی با قرار دادن مشخص می شود @atmostonce(), @حد اقل یک بار() و
@exactlyonce() ویژگی ها در رابط های مربوطه به عنوان مثال، نوشتن

ماژول سرگرمی {
اینترفیس Init @atleastonce();
...

تضمین می کند که برنامه ها با استفاده از ماژول سرگرمی باید آن را سیم کشی کند آغاز رابط حداقل یک بار

به طور خاص، هنگامی که حاشیه نویسی در یک رابط ارائه شده قرار می گیرد، باید وجود داشته باشد
تعداد مسیرهای مشخص شده در نمودار سیم کشی از هر ماژول به آن رابط. اگر
حاشیه نویسی در یک رابط استفاده شده قرار می گیرد، باید تعداد مشخصی از مسیرها در آن وجود داشته باشد
نمودار سیم کشی از رابط به هر ماژول.

برای استفاده از این ابزار بررسی سیم کشی، باید آن را اعلام کنید @atmostonce(), @حد اقل یک بار() و
@exactlyonce() ویژگی ها در برخی از فایل های هدر سراسری به شرح زیر است:

struct @atleastonce() { };
struct @atmostonce() {};
struct @exactlyonce() {};

و باید گزینه های زیر را ارسال کنید nescc برای ایجاد فایل XML که به آن پاس می دهید
سیم کشی nescc:

-fnesc-dump=سیم کشی
-fnesc-dump='interfaces(!abstract())'
-fnesc-dump='referenced(interfacedefs, components)'
-fnesc-dumpfile=فایل nesc-xml

با استفاده از خدمات onworks.net از nescc-wiring به صورت آنلاین استفاده کنید