ESC/Java2 Plugin - About
The ESC/Java2 plugin was designed desgined and built by David Cok, and integrated into the JMLEclipse framework. The integration is not still complete and there are some details that still need to be fixed. The plugin provides functionality as an Eclipse plug-in into the Java development environment of Eclipse. ESC/Java2 checks that Java programs obey specifications written as Java Modeling Language (JML) annotations.
The plug-in adds the following functionality to Eclipse's Java Perspective:
- A number of submenu items that invoke various tools and manage the environment, that are integrated into JMLEclipse 'JML' menu.
- A toolbar item labeled 'ESC' that invokes the ESC/Java2 checker.
- A problem marker (a red disk with an 'E' on it) for ESC/Java2 problems; these must be enabled in the Filters menu of the Problems view (they are disabled by default).
- Context menu items in various views and on Java editors that replicate some of the above menu items for Java Projects, source folders, packages, and compilation units.
- A console page to which output from Esc/Java2 is sent.
- An ESC/Java2 preferences page in the Java group of preference pages (under Window >> Preferences).
- An ESC/Java2 builder that is visible (when the ESC/Java2 Builder is enabled) in the Project Properties Builders page.
- A decoration visible in the package explorer (and other places) on Java Projects with autochecking enabled. There is a toggle named 'ESC/Java2' to enable these decorations in the Label Decorations page of the workbench preferences.
- A new category of commands in the Workbench >> Keys page of the workbench preferences. The category is named 'ESC/Java2' and allows key bindings to be defined for the various new menu actions.
- A Help document describing the ESC/Java2 plug-in functionality available through the Help >> HelpContents menu (this document).