 | ESC / JAVA2مشروع Frontend Frontend Project esc / java2، رمز المصدر Java 1.4 و Java 1.5 Bytecode إلى شجرة بناء الجملة مجردة. |
| التحميل الان | |
ESC / JAVA2 الترتيب والملخص
الإعلانات
- رخصة:
- Free for non
- السعر:
- FREE
- اسم الناشر:
- KindSoftware
- موقع ويب الناشر:
- http://kind.ucd.ie/products/opensource/JavaFE/
ESC / JAVA2 العلامات
ESC / JAVA2 وصف
ESC / Java2 Frontend Project يوزع شفرة المصدر Java 1.4 و Java 1.5 ByTecode في شجرة بناء الجملة مجردة. ESC / Java2 Frontend Project تابعة شفرة Java 1.4 المصدر و Java 1.5 ByTecode إلى شجرة بناء الجملة مجردة يمكن استخدامها للتحقق الثابت الموسع. هو المدقق الثابت الموسع ل Java الإصدار 2 (Esc / Java2) هي أداة برمجة تحاول العثور على شائع أخطاء وقت التشغيل في برامج Java المشروحة JML عن طريق التحليل الثابت لرمز البرنامج والشروح الرسمية الرسمية. يمكن للمستخدمين التحكم في كمية وأنواع التحقق من أن Esc / Java2 يؤديها عن طريق إشراف برامجها بتعليقات ممؤومة خصيصا وتتوفر Pragmas.Sc / Java2 في نموذجين: Esc / Java2 هو أداة سطر الأوامر مع جبهة سوينغ بسيطة -نهاية. use esc / java2 هو أيضا eclipse 3.3 (europa) plugin.Requirements: Java 1.4 أو ThereWhat جديد في هذا الإصدار: يتم تضمين فئات AST Vector واختبار الآن في مكتبة Javafe. الملفات التنفيذية الثنائية لأدوات Astgen و Astfilelist تم prebuilt ل macos x و linux.
ESC / JAVA2 برامج ذات صلة
