|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Mainable | |
|---|---|
| edu.utep.cs.utjml.canica | Contains the source code for Canica, an IDE for JML. |
| edu.utep.cs.utjml.canica.filebrowser | Contains the source code to provide a directory browser, a document selector, and a file statistics information. |
| edu.utep.cs.utjml.canica.jmleditor | Contains the source code to provide a JML editor, using MDI functionality. |
| edu.utep.cs.utjml.canica.output | |
| edu.utep.cs.utjml.canica.tool | |
| Uses of Mainable in edu.utep.cs.utjml.canica |
|---|
| Classes in edu.utep.cs.utjml.canica that implement Mainable | |
|---|---|
class |
Main
A graphics user interface to the JML-based unit testing tool for Java. |
| Fields in edu.utep.cs.utjml.canica declared as Mainable | |
|---|---|
protected Mainable |
SearchAndInsertActionFactory.canica
The main program. |
| Constructors in edu.utep.cs.utjml.canica with parameters of type Mainable | |
|---|---|
GlobalIDEPref(Frame parent,
Mainable canica)
Constructor |
|
JDialogPreferences(Frame owner,
String title,
boolean modal,
Mainable canica)
It creates the Preference dialog, with frame owner, frame Title, modal, and Canica program reference |
|
PreferencesAction(String name,
Icon icon,
Frame guiFrame,
Mainable canica)
Constructor |
|
SearchAndInsertActionFactory(Mainable canica)
Constructor |
|
| Uses of Mainable in edu.utep.cs.utjml.canica.filebrowser |
|---|
| Constructors in edu.utep.cs.utjml.canica.filebrowser with parameters of type Mainable | |
|---|---|
FileBrowserController(Mainable canica)
Constructor, initialize its data members |
|
| Uses of Mainable in edu.utep.cs.utjml.canica.jmleditor |
|---|
| Fields in edu.utep.cs.utjml.canica.jmleditor declared as Mainable | |
|---|---|
protected Mainable |
JMLTextPane.canica
the main program |
| Constructors in edu.utep.cs.utjml.canica.jmleditor with parameters of type Mainable | |
|---|---|
FileAccess(JMLEditorMDI editor,
Mainable canica)
constructor |
|
JMLEditorMDI(Mainable canica)
Creates a new instance. |
|
JMLTextPane(StyledDocument doc,
File newFile,
int index,
Mainable canica,
Thread colorer)
Initializes the JMLTextPane, setting its index file, and setting the reference to the status bar of canica. |
|
| Uses of Mainable in edu.utep.cs.utjml.canica.output |
|---|
| Constructors in edu.utep.cs.utjml.canica.output with parameters of type Mainable | |
|---|---|
OutputPaneController(Mainable canica,
JMLEditorable jmlEditor)
Initializes the output pane view and all its components. |
|
| Uses of Mainable in edu.utep.cs.utjml.canica.tool |
|---|
| Constructors in edu.utep.cs.utjml.canica.tool with parameters of type Mainable | |
|---|---|
JDKTool.CommandThread(String cmd,
File dir,
OutputPaneable outputPane,
FileBrowserable fileBrowser,
Mainable canica)
Creates a new instance. |
|
JDKTool(Mainable canica,
OutputPaneable output,
FileBrowserable fileBrowser)
Constructor |
|
TestingTools(OutputPaneable output,
Mainable canica)
|
|
ToolController(Mainable canica,
OutputPaneable output)
Constructor |
|
|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||