Jump to content

ESC/Java

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 202.92.75.130 (talk) at 07:08, 25 May 2004. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

ESC/Java is a programming tool that attempts to find common run-time errors in Java programs by static analysis of the program text. Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or pragmas.