UTJML

Uses of Interface
edu.utep.cs.utjml.canica.Constants

Packages that use Constants
edu.utep.cs.utjml.canica Contains the source code for Canica, an IDE for JML. 
edu.utep.cs.utjml.canica.jmleditor Contains the source code to provide a JML editor, using MDI functionality. 
edu.utep.cs.utjml.canica.output   
 

Uses of Constants in edu.utep.cs.utjml.canica
 

Classes in edu.utep.cs.utjml.canica that implement Constants
 class Main
          A graphics user interface to the JML-based unit testing tool for Java.
 class Util
          A utility class that provides various static utility methods.
 

Uses of Constants in edu.utep.cs.utjml.canica.jmleditor
 

Classes in edu.utep.cs.utjml.canica.jmleditor that implement Constants
 class StatusBar
          A simple status bar that can display the current file name and the current line and column numbers.
 class StatusFancyBar
          This class represents a fancy status bar that can display the current file name and the current line and column numbers.
 

Uses of Constants in edu.utep.cs.utjml.canica.output
 

Classes in edu.utep.cs.utjml.canica.output that implement Constants
 class OutputPaneConsole
          Class OutputPaneConsole This class represents the console view.
 


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.