UTJML

Uses of Interface
edu.utep.cs.utjml.canica.jmleditor.StatusBarable

Packages that use StatusBarable
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. 
 

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

Methods in edu.utep.cs.utjml.canica that return StatusBarable
 StatusBarable Mainable.statusBar()
          Returns the status bar of this GUI.
 StatusBarable Main.statusBar()
          Returns the status bar of this GUI.
 

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

Classes in edu.utep.cs.utjml.canica.jmleditor that implement StatusBarable
 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.
 

Methods in edu.utep.cs.utjml.canica.jmleditor that return StatusBarable
 StatusBarable JMLEditorMDI.getStatusBarable()
           
 StatusBarable JMLEditorable.getStatusBarable()
          It returns the interface that will handle the status bar in the JML Editor.
 


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.