Yazılım ekran görüntüsü:
Yazılım detaylar:
ESC / Java2 Frontend projesi Genişletilmiş Statik kontrol ederken için kullanılabilecek bir soyut sözdizimi ağacı haline Java 1.4 kaynak kodu ve Java 1.5 bytecode ayrıştırır.
Java sürüm 2 için Genişletilmiş Statik Denetleyicisi (ESC / Java2) program kodu, statik analizi ve biçimsel açıklamaları ile JML açıklamalı Java programlarında ortak çalışma zamanı hataları bulmaya çalışır bir programlama aracıdır. Kullanıcılar miktarı ve ESC / Java2 pragmas denilen özel olarak biçimlendirilmiş yorumlarla programlarını açıklamalar ekleyerek gerçekleştirdiği denetleme türlü kontrol edebilirsiniz.
ESC / Java2 iki formda mevcuttur:
Yorum Bulunamadı