ETHZJMLPluginExplanation

This plugin provides a simple integration of the common JML tools into Eclipse 3.3. It is the main interactive plugin used by MOBIUS developers within the Mobius PVE at this point in time.

The following features are provided:

• simple installation of the core JML tools, including
• executing the JML checker,
• executing the JML runtime assertion checker (RAC),
• executing a program that was compiled with RAC, and
• configuration dialogs for JML checker and RAC.

The current version of the plugin is available from [http://www.sct.inf.ethz.ch/research/universes/tools/eclipse/] (an ETHZ website) and will be integrated into the main MOBIUS releases website and Trac in the coming year.

Version: 1 Time: Fri Mar 28 14:01:22 2008 Author: dcochran (dcochran) IP: 193.1.132.32