Overview

• About
• People
• Related Projects
• Download
• Sourceforge

Documentation

• Installation Notes
• ESC/Java2 Plugin
• Project Notes

Support

• Forums
• Bugs/Feature Requests
• Mailing Lists

JMLEclipse is made available to the public through an Eclipse Update Site. The URL of JMLEclipse update site is:

http://jmleclipse.projects.cis.ksu.edu/update-site

To install JMLEclipse in Eclipse 3.0 follow these instructions:

• Open the Eclipse Plugin Installation dialog: Help>Software Updates>Find and Install.
• If you are installing JMLEclipse for the first time, select "Search for new features to install" and click Next. Otherwise, select "Search for updates for the currently installed features" and click Next.
• If this is the first time you install JMLEclipse, click on "New Remote Site". Enter the URL provided above (http://jmleclipse.projects.cis.ksu.edu/update-site) in the URL field. Enter some descriptive name (e.g., JMLEclipse Update Site) in the Name field. Then click OK.
• Select the JMLEclipse Update Site from the list of update sites and click Next.
• You will be presented a list of available features. There are two main features for JMLEclipse: jmleclipse-feature and jmleclipse-ui-feature. Select the latest version of each one you want to install (the difference between the two features will explained below).
• Accept the license agreement and click Finish.

JMLEclipse is composed mainly by two components: the JMLEclipse core that provides the type checking capabilities and the advanced UI support that provides syntax highlighting and other UI features. The minimum that you need is the JMLEclipse core (jmleclipse-feature). This plugin provides all the functionality needed to type check JML java files. It also currently provides support for JMLRac and JMLDoc (although in the future, these will be separated into different plugins).

The advanced UI support (jmleclipse-ui-feature) will provide support for syntax highlighting, and in the future things like JML outline, etc. However, the way in which this support is provided is by patching Eclipse JDT plugin. So if you install this feature, beware of this fact. The patched JDT is exactly the same as the plugin that comes with Eclipse, just extended to support JML syntax. The motivation behind this is to have an environemnt in which JML is totally integrated with Java, that is, developers can specify their code in the same environemnt where they develop it.

The latest version of JMLEclipse is 0.3.5 for the JMLEclipse core and 0.1.2 (3.0.1jml01) for the UI support plugin. Notice however that not all the UI aspects of JMLEclipse are contained in the jmleclipse-ui-feature. For example, all the code that extends Eclipse with different menus and configuration pages for JMLEclipse is contained in the JMLEclipse core.

To follow more closely the development of JMLEclipse, and the different updates and releases, visit and monitor our forums. For other development details, like source code, visit our Sourceforge site.

You can also manually install the plugins by downloading them from our Files Download Site