|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||