نرم افزار تصویر:
جزئیات نرم افزار:
ESC پروژه / Java2 ظاهر تجزیه جاوا کد منبع و 1.4 جاوا 1.5 بایت کد را به یک نحو خلاصه درخت است که می تواند برای چک کردن استاتیک تمدید استفاده می شود.
استاتیک جستجوگر گسترده برای جاوا نسخه 2 (ESC / Java2) ابزار برنامه نویسی است که تلاش برای پیدا کردن خطاها در زمان اجرا مشترک در برنامه های جاوا JML تفسیر های تجزیه و تحلیل استاتیک کد برنامه و توضیحات رسمی آن است. کاربران می توانند مقدار و انواع چک کردن که ESC / Java2 انجام شده توسط حاشیه نویسی برنامه های خود را با نظرات های فرمت شده ویژه به نام pragmas کنترل کنید.
ESC / Java2 موجود در دو شکل است:
نظر یافت نشد