UTJML

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

Packages that use PreferenceControl
edu.utep.cs.utjml.canica Contains the source code for Canica, an IDE for JML. 
 

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

Classes in edu.utep.cs.utjml.canica that implement PreferenceControl
 class DocPref
          A class panel used to display the doc generator preferences for Canica.
 class EditorPref
          A panel class used to display the editor preferences for Canica.
 class GlobalIDEPref
          Class panel that displays the global IDE preferences for Canica.
 class JavaCompilerPref
          Class used to display the Java compiler preferences.
 


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.