UTJML

UTJML Implementation Documentation

UTJML is an extension of the Java Modeling Language and provides a set of new and extended tools for behavioral interface specifications for Java classes and interfaces.

See:
          Description

Packages
edu.utep.cs.utjml.canica Contains the source code for Canica, an IDE for JML.
edu.utep.cs.utjml.canica.filebrowser Contains the source code to provide a directory browser, a document selector, and a file statistics information.
edu.utep.cs.utjml.canica.jmleditor Contains the source code to provide a JML editor, using MDI functionality.
edu.utep.cs.utjml.canica.jmleditor.lexer  
edu.utep.cs.utjml.canica.output  
edu.utep.cs.utjml.canica.tool  
edu.utep.cs.utjml.compiler  
edu.utep.cs.utjml.compiler.rt  
edu.utep.cs.utjml.gui  
edu.utep.cs.utjml.gui.lexer  
edu.utep.cs.utjml.rat Contains the source code to generate test cases randomly for Java classes.
edu.utep.cs.utjml.tgen  

 

UTJML is an extension of the Java Modeling Language and provides a set of new and extended tools for behavioral interface specifications for Java classes and interfaces.

UTJML's implementation is built on top of the implementation of JML.


UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.