ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / Java2 הוא בודק סטטי מורחב עבור Java. זה באופן אוטומטי, באופן סטטי, ומודולארי מזהה שגיאות תכנות נפוצות. סיבות ESC / Java2 על תוכניות Java שהסברים (אופציונליים) נכתבו בJML מה חדש בהודעה זו :. אין שינויים משמעותיים פונקציונליים, אבל כמה תיקוני...