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