Software Download
Yoonsik Cheon | HOME


JET | JML4c | UTJML | BibPHP | JML

UTJML Overview | Download | Documentation

Executable JAR File

The following two JAR files contain an executable UTJML compiler (utjmlc) and a runtime library, respectively; both are compiled with JDK 1.6.

To run utjmlc, first add utjmlrt.jar to your CLASSPATH (or use the -cp option and then use -jar option of the java command; e.g., type the following line on the command prompt. 
  java -jar utjmlc.jar Sample.java
To run the compiled bytecode file, say Sample.class, use any JVM provided that utjmlrt.jar was added to your CLASSPATH (or the -cp option was used for that); e.g., type the following line on the command prompt. 
 java Sample

Refer to the Documentation page for documents such as technical papers.

Java Source Code

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 edu.utep.cs.utjml.compiler.Main; refer to its click API specification. The whole API specifications are available from the Documentation page.

Last modified: $Id: download.php,v 1.2 2007/09/13 20:50:00 cheon Exp $