Property page

The property page of a project allows to:

JML Specification image

One has the possibility to put in a serialized image the defaulty loaded classes in manner to avoid to re-parse them each time.
By default, all the classes accessible from Object.java are collected and added to the image.
Whem generating an image, one has the possibility to add other classes to the image. A click on OK will generate the image by default.

JML Path

JACK does not use the class path to find imported classes. So, one has to define the JML path. It must contain the path to different package containing the specifications used to proved the current project (mainly the directory where the API formalization can be found).
You always need to provide the tool a way to find the java.lang package and other pakages, you use to develop your project.
We only provide an API for JavaCard due to Erik Poll. We have just slightly modified it to make it compliant with JACK requirements.
If you develop using the classical j2se. You need to get the source from Sun. We only provide a library that contains the bodies of some classes in order to develop toy examples.

Default JML clauses

This page allows to set the default JML clause.