General information
This page tells you how to download and install temporaljmlc. The latest release (tag) of temporaljmlc is: temporaljml-rel-1-7.
How to install temporaljmlc
Read Tips for Working on
JML as a Developer.
Note: When checking out MJ use the tag mj-for-temporaljml; to check out JML2 use whatever is the latest temporaljmlc release tag:
cvs -z3 -d:ext:yoursflogin@multijava.cvs.sourceforge.net:/cvsroot/multijava checkout -r mj-for-temporaljml MJ
cvs -z3 -d:ext:yoursflogin@jmlspecs.cvs.sourceforge.net:/cvsroot/jmlspecs checkout -r latest_temporaljml_release_tag JML2
On a Unix-like system, the command bin/jmlc2-unix now runs temporaljmlc; runtime checking can be done using
bin/jmlrac2-unix.
Tips
- temporaljmlc is known to work with the following versions of the tools mentioned in
"Tips for Working on JML as a Developer":
- antlr: antlr-2.7.7
- junit: junit-3.8.1
- getopt: java-getopt-1.0.13
- java: java-1.4.2_19
- Don't forget to set the CLASSPATH when following "Tips for Working on JML as a Developer". This can easily
be done inside your version of the 'sourceme.sh' file, templates of which are located inside the
directory ~/JML2/bin-for-developers.
Known issues
- Running make runtests in JML2 should result in only one failure, which is documented in
Faraz Hussain's Masters Thesis (§2.6.1).
- There may be an issue in making javadocs inside JML2. These are not required to install and run temporaljmlc.
Note: This file is part of the temporalJML release and is located in ~/JML2/temporaljml.