Programinė įranga Screenshot:
Programinė detalės:
ESRK / java2 sąsajos projektas suvokia Java 1.4 šaltinio kodą ir Java 1.5 baitinis į abstraktų Sintaksės medis, kuris gali būti naudojamas išplėstiniam Statinis tikrinimas.
Išplėstinis Statinis tikrintuvas Java 2 versijos (ESRK / java2) yra programavimo įrankis, kuris bando surasti bendrus run-time klaidų JML-komentuojami Java programų statinio analizės programos kodą ir savo oficialius komentarus. Vartotojai gali kontroliuoti sumą ir rūšių tikrinimą, kad ESRK / java2 atlieka pagal anotuoti savo programas su specialiai suformatuotas komentarus vadinamų pragma.
ESRK / java2 yra dviejų formų:
Komentarai nerastas