Serialized Form

Package edu.utep.cs.utjml.canica

Class edu.utep.cs.utjml.canica.DetachablePane extends JToolBar implements Serializable

Class edu.utep.cs.utjml.canica.DocPref extends JPanel implements Serializable

Class edu.utep.cs.utjml.canica.EditorPref extends JPanel implements Serializable

Class edu.utep.cs.utjml.canica.GlobalIDEPref extends JPanel implements Serializable

Serialized Fields

labels

String[] labels

oldValues

String[] oldValues

numPairs

int numPairs

homeDir

JTextField homeDir

classpath

JTextField classpath

browseButton

JButton[] browseButton

textFieldArray

JTextField[] textFieldArray

parent

Frame parent

canica

Mainable canica

Class edu.utep.cs.utjml.canica.JAboutDialog extends JDialog implements Serializable

Serialized Fields

fComponentsAdjusted

boolean fComponentsAdjusted

JLabelPicture

JLabel JLabelPicture

JTextAreaSpacer

JTextArea JTextAreaSpacer

JTextArea4

JTextArea JTextArea4

JTextArea3

JTextArea JTextArea3

JTextArea2

JTextArea JTextArea2

JTextArea1

JTextArea JTextArea1

JPanelOK

JPanel JPanelOK

okButton

JButton okButton

Class edu.utep.cs.utjml.canica.JavaCompilerPref extends JPanel implements Serializable

Serialized Fields

javaCompilerPath

JTextField javaCompilerPath

classpathOption

JTextField classpathOption

sourcepathOption

JTextField sourcepathOption

storedDirOption

JTextField storedDirOption

browseButton

JButton[] browseButton

parent

Frame parent

chbOptions

JCheckBox[] chbOptions

options

String[] options

oldValues

String[] oldValues

Class edu.utep.cs.utjml.canica.JDialogPreferences extends JDialog implements Serializable

serialVersionUID: 1L

Serialized Fields

jtpPreferences

JTabbedPane jtpPreferences

The JTabbedPane object , used to display the preferences

editorPref

JPanel editorPref

globalIDEPref

JPanel globalIDEPref

javaCompilerPref

JPanel javaCompilerPref

docPref

JPanel docPref

canica

Mainable canica

Canica, the main program.

Class edu.utep.cs.utjml.canica.Main extends JFrame implements Serializable

Serialized Fields

actionFactory

edu.utep.cs.utjml.canica.ActionFactory actionFactory

The object containing all actions of the menus

fileBrowser

FileBrowserable fileBrowser

The file browser of this GUI.

editor

JMLEditorable editor

The editor of this GUI.

outputPane

OutputPaneable outputPane

The output pane of this GUI.

statusBar

StatusBarable statusBar

The status bar of this GUI.

tool

Toolable tool

The Tool, to call external and internal tools of Canica

Class edu.utep.cs.utjml.canica.PreferencesAction extends AbstractAction implements Serializable

Serialized Fields

guiFrame

Frame guiFrame

The parent's frame

ls_Title

String ls_Title

Title's Dialog

canica

Mainable canica

CANICA, the main program

Package edu.utep.cs.utjml.canica.filebrowser

Class edu.utep.cs.utjml.canica.filebrowser.DocumentSelector extends JPanel implements Serializable

Serialized Fields

docList

JList docList

Contains the names of the opened files in the JML editor.

listSelectionModel

ListSelectionModel listSelectionModel

Contains the Selection model

listModel

DefaultListModel listModel

Constains the default list Model. (updatable , it allows insert remove items

editor

JMLEditorable editor

JML Editor

jmlFileNode

ArrayList<E> jmlFileNode

The node controller

Class edu.utep.cs.utjml.canica.filebrowser.FileBrowserView extends JPanel implements Serializable

Serialized Fields

tabPane

JTabbedPane tabPane

Tab container

Package edu.utep.cs.utjml.canica.jmleditor

Class edu.utep.cs.utjml.canica.jmleditor.GoToAction extends AbstractAction implements Serializable

Serialized Fields

guiFrame

Frame guiFrame

The parent's frame

ls_Title

String ls_Title

Title's Dialog

searchInsertAndHighlight

SearchInsertAndHighlight searchInsertAndHighlight

To access the services for searching

Class edu.utep.cs.utjml.canica.jmleditor.JDialogGoto extends JDialog implements Serializable

Class edu.utep.cs.utjml.canica.jmleditor.JMLEditorMDIView extends JPanel implements Serializable

Serialized Fields

jTabbedPane

JTabbedPane jTabbedPane

Main container

indexOfCurrentJml

int indexOfCurrentJml

Current JML Textpane object selected in TabbedPane

editorMDI

JMLEditorMDI editorMDI

A reference to the JML editor controller

Class edu.utep.cs.utjml.canica.jmleditor.JMLTextPane extends JPanel implements Serializable

Serialized Fields

scrollPane

JScrollPane scrollPane

The scroll pane that contains this object

textPane

JTextPane textPane

The text pane

indexFile

int indexFile

index of this file

statusBar

StatusBarable statusBar

A reference to the status bar

canica

Mainable canica

the main program

styledDocument

StyledDocument styledDocument

styled document

syntaxLexer

Lexer syntaxLexer

The lexer that tells us what colors different words should be.

menuOptions

MenuOptions menuOptions

the menu options personalized for this document

fileBrowser

FileBrowserable fileBrowser

The file browser interface access

actions

HashMap<K,V> actions

undo

UndoManager undo

Manages undo actions to this text pane

thisFile

File thisFile

A reference to the Java file

errorAtReading

boolean errorAtReading

It reports if it has error at reading the file

docModified

boolean docModified

The dirty flag indicating whether the document being edited (doc) was modified or not. If it is true, it means that there are unsaved changes; otherwise, no such changes exist.

oldDocModified

boolean oldDocModified

It stores the old value to the docModified variable

line

int line

Actual line and column of the caret position

col

int col

Actual line and column of the caret position

Class edu.utep.cs.utjml.canica.jmleditor.StatusBar extends JPanel implements Serializable

Serialized Fields

filenameField

JTextField filenameField

The area where to display the current file name.

lineColumnField

JTextField lineColumnField

The area where to display the current line and column numbers.

Class edu.utep.cs.utjml.canica.jmleditor.StatusFancyBar extends JPanel implements Serializable

Serialized Fields

messagesLabel

JLabel messagesLabel

The area where to display the status window messages

filenameField

JTextField filenameField

The area where to display the current file name.

lineColumnField

JTextField lineColumnField

The area where to display the current line and column numbers.

Package edu.utep.cs.utjml.canica.output

Class edu.utep.cs.utjml.canica.output.CounterPanel extends JPanel implements Serializable

Serialized Fields

fNumberOfErrors

JTextField fNumberOfErrors

fNumberOfFailures

JTextField fNumberOfFailures

fNumberOfRuns

JTextField fNumberOfRuns

fFailuresIcon

Icon fFailuresIcon

fErrorsIcon

Icon fErrorsIcon

fRunsIcon

Icon fRunsIcon

fTotal

int fTotal

Class edu.utep.cs.utjml.canica.output.OutputPaneConsole extends JTextArea implements Serializable

Serialized Fields

editor

JMLEditorable editor

The editor to this GUI

fileName

String fileName

The file name specified by the error message being parsed.

lineNumber

int lineNumber

The line number specified by the error message being parsed.

columnNumber

int columnNumber

The column number specified by the error message being parsed.

outputStream

OutputStream outputStream

Abstraction of this pane into an output stream.

Class edu.utep.cs.utjml.canica.output.OutputPaneRunTestCases extends JPanel implements Serializable

Serialized Fields

jtfTestData

JTextField jtfTestData

Shows the Test Data file to test

counterPanel

CounterPanel counterPanel

Shows the testing statistics data (runs, failures, and errors)

statusLine

edu.utep.cs.utjml.canica.output.StatusLine statusLine

Shows important testing messages

jprogressBar

edu.utep.cs.utjml.canica.output.CanicaProgressBar jprogressBar

Shows the progress Bar of the testing process

tracePane

JScrollPane tracePane

The scrollpane that stores that traces the failures

fFailureView

junit.runner.FailureDetailView fFailureView

Stores the failure detail view

jtArgumentsView

JTable jtArgumentsView

Shows the arguments of the test selected

scrollPaneArgumentsView

JScrollPane scrollPaneArgumentsView

Arguments view scroll pane

testRunContext

TestRunContext testRunContext

jpWestCenterView

JPanel jpWestCenterView

Panel to store the output for Tests and failures

Class edu.utep.cs.utjml.canica.output.OutputPaneTestGeneration extends JPanel implements Serializable

Serialized Fields

testGenInfoPane

edu.utep.cs.utjml.canica.output.TestGenInfoPane testGenInfoPane

Pane that shows the main test generation information

testSummaryTable

TestSummaryTable testSummaryTable

Test summary pane, shows the testing summary statistics after test generation

testTreePane

edu.utep.cs.utjml.canica.output.TestCaseTreePane testTreePane

Tree panel that displays the test cases of the actual method name selected in the table summary

classFile

String classFile

Name of the class file

totalMethods

int totalMethods

Total number of methods

totalTC

int totalTC

Total number of test cases

totalAtomExpr

int totalAtomExpr

Total number of Atom Expr

totalAttempts

int totalAttempts

Total number of attetmps

totalMeaningless

int totalMeaningless

Total number of meaningless test cases

Class edu.utep.cs.utjml.canica.output.OutputPaneView extends JPanel implements Serializable

Serialized Fields

oppConsole

OutputPaneConsole oppConsole

It shows the console view

oppTestGeneration

OutputPaneTestGeneration oppTestGeneration

It shows the test generation results

oppRunTestCases

OutputPaneRunTestCases oppRunTestCases

It shows the Testing results

jTabbedPane

JTabbedPane jTabbedPane

It contains the three output pane views

editor

JMLEditorable editor

JML editor

Class edu.utep.cs.utjml.canica.output.TestSummaryTable extends JPanel implements Serializable

Serialized Fields

summaryTable

JTable summaryTable

Summary table to store the test generation results for each method or class in the file

tableModel

edu.utep.cs.utjml.canica.output.TestSummaryTable.MyTableModel tableModel

rowSelected

int rowSelected

DEBUG

boolean DEBUG

opTestGenContext

OutputPaneTestGeneration opTestGenContext

Access the Output pane test generation context

Package edu.utep.cs.utjml.compiler.rt

Class edu.utep.cs.utjml.compiler.rt.JMLCallSequenceError extends JMLAssertionError implements Serializable

Package edu.utep.cs.utjml.gui

Class edu.utep.cs.utjml.gui.DetachablePane extends JToolBar implements Serializable

Class edu.utep.cs.utjml.gui.ExplorerPane extends JTabbedPane implements Serializable

Serialized Fields

utjml

Main utjml

dirTree

edu.utep.cs.utjml.gui.DirectoryTree dirTree

historyTree

edu.utep.cs.utjml.gui.HistoryTree historyTree

testTree

edu.utep.cs.utjml.gui.TestCaseTree testTree

testTreeScrollPane

JScrollPane testTreeScrollPane

Class edu.utep.cs.utjml.gui.Main extends JFrame implements Serializable

Serialized Fields

explorer

ExplorerPane explorer

The explorer of this GUI.

editor

JmlEditor editor

The editor of this GUI.

outputPane

OutputPane outputPane

The output pane of this GUI.

statusBar

StatusBar statusBar

The status bar of this GUI.

Class edu.utep.cs.utjml.gui.OptionDialog extends JDialog implements Serializable

Serialized Fields

generalPane

edu.utep.cs.utjml.gui.OptionDialog.GeneralOptionPanel generalPane

preferencesPane

edu.utep.cs.utjml.gui.OptionDialog.PreferencesPanel preferencesPane

compilationPane

edu.utep.cs.utjml.gui.OptionDialog.CompilationPanel compilationPane

Class edu.utep.cs.utjml.gui.OutputPane extends JTextArea implements Serializable

Serialized Fields

utjml

Mainable utjml

The main GUI class.

fileName

String fileName

The file name specified by the error message being parsed.

lineNumber

int lineNumber

The line number specified by the error message being parsed.

columnNumber

int columnNumber

The column number specified by the error message being parsed.

outputStream

OutputStream outputStream

Abstraction of this pane into an output stream.

Class edu.utep.cs.utjml.gui.StatusBar extends JPanel implements Serializable

Serialized Fields

filenameField

JTextField filenameField

The area where to display the current file name.

lineColumnField

JTextField lineColumnField

The area where to display the current line and column numbers.

Class edu.utep.cs.utjml.gui.TestWizard extends JDialog implements Serializable

Serialized Fields

controller

edu.utep.cs.utjml.gui.TestWizard.Controller controller

The controller of this wizard.

proceedButton

JButton proceedButton

Control buttons.

cancelButton

JButton cancelButton

Control buttons.

steps

edu.utep.cs.utjml.gui.TestWizard.ProgressIndicator[] steps

Steps of performing unit test.

runJunitGui

boolean runJunitGui

True for GUI-based test execution; false for command-line.

logo

JLabel logo

Package edu.utep.cs.utjml.rat

Class edu.utep.cs.utjml.rat.Main.RatClassNotFoundException extends RuntimeException implements Serializable

Package edu.utep.cs.utjml.tgen

Class edu.utep.cs.utjml.tgen.Main.TcgClassNotFoundException extends RuntimeException implements Serializable