adding JML Plugins to Eclipse Java Project

for depicting in simple words, we'll say that JML a specification language to understand the java modules in java class library or application project. It's a combination of “Design by Contract” (abbrv. DBC) and model based specification approach.

The way to add the plugin in ur eclipse project ...........

goto help menu

Help-->Software Updates-->Find & Install

and then tick the “search for new features to install” checkbox and click “Next”

if you are installing the plugin first, click on “New Remote Site”

and in the dialogbox giving the name “JML” (or as u wish) and http location

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

then jst go according to the options directed in the eclipse......

after getting download and install U may check it whether installed properly or not........

Help-->Software Updates-->Manage Configuration

check all the plugins which now added from remote site....are enabled or not...are there confiuration staus are ok or not....

now create a project File-->New Project-->Java Project from the option

and do right click on the project name showing project explorer....click on “Properties” and

then select the “Library” tab........choose following external jars from ur eclipse files location

as for mine “F:\eclipse-SDK-3.2.1-win32\eclipse\plugins” .....

1)edu.ksu.cis.projects.jmleclipse.checker_0.3.2

jmleclipse-checker.jar

2)org.eclipse.jdt.ui_3.0.1.jml01

jdt.jar

3)org.jmlspecs_1.0.5

jml-release.jar

tools.jar

add them as Library

to do the checker runtime........U can also the classpath of JML Specs

http://www.eecs.ucf.edu/~leavens/JML-release/javadocs/

U also can get the jar libraries from JML's files location

http://projects.cis.ksu.edu/plugin/ksuafrs/showfiles.php?group_id=21