UTJML

Package edu.utep.cs.utjml.compiler.rt

Class Summary
JMLAutomata A class representing finite automata to check call sequence specifications.
JMLTestCoverage An experimental class to record condition coverage information of a postcondition.
JMLTestCoverage.CInfo Class representing coverage of an atomic boolean expression.
 

Error Summary
JMLCallSequenceError A JML error class to notify call sequence violations.
 


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.