JML doesn't pass the specification tests under JDK 1.5.
We need to add various methods for Java 1.5
compatability to our specifications of the JDK classes.
If I can suggest something - I would appreciate if I could
even use JML with JDK 1.5 for annotating 1.4-based
specification. However at the moment I am unable to use JML
with my 1.5 based code.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=1008917
If I can suggest something - I would appreciate if I could
even use JML with JDK 1.5 for annotating 1.4-based
specification. However at the moment I am unable to use JML
with my 1.5 based code.
Logged In: YES
user_id=633675
We have this capability now, and I will make a pre-release
that allows it.