ESC/Java2 Frontend

ESC proyekto / Java2 Frontend parses Java 1.4 source code at Java 1.5 bytecode sa isang Abstract Syntax Tree na maaaring magamit para sa pinalawig Static Checking.
Ang Extended Static Checker para sa Java na bersyon 2 (ESC / Java2) ay isang programming tool na mga pagtatangka upang makahanap ng mga karaniwang mga error run-time sa JML-annotation Java mga programa sa pamamagitan ng static na pagtatasa ng code na programa at ang kanyang pormal na annotation. Maaaring kontrolin Users ang halaga at uri ng checking na ESC / Java2 gumaganap sa pamamagitan annotating kanilang mga programa na may espesyal na-format ang mga komento na tinatawag pragmas.
ESC / Java2 ay magagamit sa dalawang paraan: