Software screenshot:
Software ətraflı:
ESC / Java2 Ön layihə Extended Static yoxlanılması üçün istifadə edilə bilər bir Abstract Sintaksis Tree daxil Java 1.4 mənbə kodu və Java 1.5 bytecode çözümler.
Java versiyası 2 Genişləndirilmiş Static Checker (ESC / Java2) proqram kodu statik analizi və onun formal notları ilə JML-not Java proqramları ümumi run-time səhvlər tapmaq üçün çalışır bir proqramlaşdırma vasitədir. İstifadəçilər məbləği və ESC / Java2 pragmas adlı xüsusi biçimlendirilmiş yapılan yorumlar öz proqramlarını annotating ilə həyata keçirir ki, yoxlanılması növləri nəzarət edə bilərsiniz.
ESC / Java2 iki formada mövcuddur:
Şərhlər tapılmadı