Phần mềm chụp màn hình:
Các chi tiết về phần mềm:
Phiên bản: 2.0.5
Ngày tải lên: 3 Jun 15
Nhà phát triển: KindSoftware
Giấy phép: Miễn phí
Phổ biến: 167
ESC dự án / Java2 Frontend phân tích mã Java 1.4 nguồn và Java 1.5 bytecode vào một Abstract Syntax Tree có thể được sử dụng để mở rộng Kiểm tra tĩnh.
Extended tĩnh Checker cho Java phiên bản 2 (ESC / Java2) là một công cụ lập trình mà cố gắng để tìm ra các lỗi thời gian chạy phổ biến trong các chương trình Java JML-chú thích bằng phân tích tĩnh của mã chương trình và chú thích hình thức của nó. Người dùng có thể kiểm soát số lượng và loại kiểm tra mà ESC / Java2 hoạt động bằng cách chú thích chương trình của họ với ý kiến định dạng đặc biệt gọi là pragmas.
ESC / Java2 có sẵn trong hai hình thức:
Bình luận không