JET | JML4c | UTJML | BibPHP | JML
UTJML Overview | Download | Documentation
The following two JAR files contain an executable UTJML compiler
utjmlc) and a runtime library, respectively;
both are compiled with JDK 1.6.
utjmlc, first add
utjmlrt.jarto your CLASSPATH (or use the
-cpoption and then use
-jaroption of the
javacommand; e.g., type the following line on the command prompt.
java -jar utjmlc.jar Sample.javaTo run the compiled bytecode file, say
Sample.class, use any JVM provided that
utjmlrt.jarwas added to your CLASSPATH (or the
-cpoption was used for that); e.g., type the following line on the command prompt.
Refer to the Documentation page for documents such as technical papers.
You can browse and download Java source code directly from the CVS repository; to download the source code, click the "download tarball" link at the bottom.
To compile the source code, refer to the
UTJML installation instructions.
The main class is
refer to its click API specification.
The whole API specifications are available from the
Last modified: $Id: download.php,v 1.2 2007/09/13 20:50:00 cheon Exp $