ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / 자바 2는 자바에 대한 확장 된 정적 검사입니다. 자동 정적 및 모듈 식 일반적인 프로그래밍 에러를 검출한다. (선택 사항) 주석 JML에 작성한 자바 프로그램에 대한 ESC / 자바 2 이유로 이 릴리스의 새로운 기능입니다. 아무 주요 기능 변화는 없지만, 몇 가지 버그 수정 및 정리 의 기능을 기존의.이것은 최종 릴리스와 제 stable 릴리스하기위한...