ESC/Java2 2.0 Beta 5

ESC / Java2 ay isang Pinalawig Static Checker para sa Java. Ito ay awtomatikong, statically, at modularly Nakikilala karaniwang mga error programming. ESC / Java2 dahilan tungkol sa mga programa ng Java na (opsyonal) annotation nakasulat sa JML Ano ang...