Java 1.4.2 versus 1.5 ?

Status: Beta

Brought to you by: chalin, cheon, davidcok, dmzimmerman, and 3 others

This project can now be found here.

#27 Java 1.4.2 versus 1.5 ?

Milestone: latest_pre-release

Status: closed

Owner: Gary T. Leavens

Labels: Platform (3)

Module:

Priority: 5

Updated: 2005-08-18

Created: 2005-08-18

Creator: Dr Ian Bayley

Private: No

I know that JML is designed for Java 1.4.2 but will the
tools work when used on the Java 1.4.2 subset of Java
1.5 when installed on top of a 1.5 JRE?

Discussion

Gary T. Leavens - 2005-08-18

Logged In: YES
user_id=633675

Sorry, it presents the JML tools to not work with Java 1.5 (Java
five). You cannot use JML with Java classes compiled with a Java
1.5 compiler. However, I think if you were completely from
sources, you might be able to use the Java 1.5 virtual machine
(jre), but since that usually comes with compiled class files, these
probably won't work at all.

We have only tested the JML tools using Java 1.4.1 and 1.4.2.

We are hoping that in the not-too-distant future we will have
support for Java 1.5. Sorry it's not presently available.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Gary T. Leavens - 2005-08-18

labels: --> Platform

milestone: --> latest_pre-release

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Gary T. Leavens - 2005-08-18

assigned_to: nobody --> leavens
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.