Serialized Form

Package edu.utep.cs.jet.gui

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

Class edu.utep.cs.jet.gui.HelpContent extends JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

helpContentsDisplay

JEditorPane helpContentsDisplay

An editor pane that displays the help contents

helpContentsTree

JTree helpContentsTree

A JTree that displays all the help topics

helpDocURL

URL helpDocURL

An instance of URL that keeps a reference location of the help's HTML document

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

Serialized Fields

viewController

edu.utep.cs.jet.gui.ViewController viewController

Controller to change the visibility of various subpanes.

explorer

Explorer explorer

The explorer of this GUI.

workingPane

edu.utep.cs.jet.gui.WorkingPane workingPane

The editor pane of this GUI.

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

Serialized Fields

workingPane

edu.utep.cs.jet.gui.WorkingPane workingPane

Class edu.utep.cs.jet.gui.OutputTextArea extends JTextArea implements Serializable

Serialized Fields

codeViewer

SourceCodeViewer codeViewer

The source code viewer to locate and highlight the source code lines corresponding to the error messages printed on the output console.

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.

Package edu.utep.cs.jet.gui.editor

Class edu.utep.cs.jet.gui.editor.FindDialog extends JDialog implements Serializable

Serialized Fields

editor

DefaultEditor editor

The editor associated with this find dialog.

textCombo

JComboBox textCombo

Combo box to acquire the text to find.

forwardButton

JRadioButton forwardButton

Radio button indicating a forwar search.

findButton

JButton findButton

Button to start searching the given text.

closeButton

JButton closeButton

Button to close this dialog.

Class edu.utep.cs.jet.gui.editor.GotoDialog extends JDialog implements Serializable

Serialized Fields

editor

Editor editor

The editor associated with this dialog.

label

JLabel label

Label to give the instruction.

lineNumber

JTextField lineNumber

Text field to acquire the line number.

okButton

JButton okButton

Button to initiate the goto action.

cancelButton

JButton cancelButton

Button to close this dialog.

Class edu.utep.cs.jet.gui.editor.LineNumberedEditor.LineNumberPane extends JPanel implements Serializable

Serialized Fields

scrollPane

JScrollPane scrollPane

textPane

JTextPane textPane

The text pane with which this pane is associated.

Class edu.utep.cs.jet.gui.editor.Options extends JPanel implements Serializable

Serialized Fields

editor

DefaultEditor editor

The editor associated with this options object.

tabSize

JSpinner tabSize

Spinner to specify the size.

fontName

JComboBox fontName

Combo box to select the font name from available list of names.

fontSize

JSpinner fontSize

Spinner to specify the font size.

palette

edu.utep.cs.jet.gui.editor.Options.Palette palette

Palette to choose the different syntax styles (colors) the editor.

Package edu.utep.cs.jet.gui.editor.syn

Class edu.utep.cs.jet.gui.editor.syn.JEditTextArea extends JComponent implements Serializable

Serialized Fields

painter

TextAreaPainter painter

popup

JPopupMenu popup

listenerList

EventListenerList listenerList

caretEvent

edu.utep.cs.jet.gui.editor.syn.JEditTextArea.MutableCaretEvent caretEvent

caretBlinks

boolean caretBlinks

caretVisible

boolean caretVisible

blink

boolean blink

editable

boolean editable

firstLine

int firstLine

visibleLines

int visibleLines

electricScroll

int electricScroll

horizontalOffset

int horizontalOffset

vertical

JScrollBar vertical

horizontal

JScrollBar horizontal

scrollBarsInitialized

boolean scrollBarsInitialized

inputHandler

InputHandler inputHandler

document

SyntaxDocument document

documentHandler

edu.utep.cs.jet.gui.editor.syn.JEditTextArea.DocumentHandler documentHandler

lineSegment

Segment lineSegment

selectionStart

int selectionStart

selectionStartLine

int selectionStartLine

selectionEnd

int selectionEnd

selectionEndLine

int selectionEndLine

biasLeft

boolean biasLeft

bracketPosition

int bracketPosition

bracketLine

int bracketLine

magicCaret

int magicCaret

overwrite

boolean overwrite

rectSelect

boolean rectSelect

copyItem

JMenuItem copyItem

pasteItem

JMenuItem pasteItem

cutItem

JMenuItem cutItem

Class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument extends PlainDocument implements Serializable

Serialized Fields

tokenMarker

TokenMarker tokenMarker

Class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter extends JComponent implements Serializable

Serialized Fields

currentLineIndex

int currentLineIndex

currentLineTokens

Token currentLineTokens

currentLine

Segment currentLine

textArea

JEditTextArea textArea

styles

SyntaxStyle[] styles

caretColor

Color caretColor

selectionColor

Color selectionColor

lineHighlightColor

Color lineHighlightColor

bracketHighlightColor

Color bracketHighlightColor

eolMarkerColor

Color eolMarkerColor

blockCaret

boolean blockCaret

lineHighlight

boolean lineHighlight

bracketHighlight

boolean bracketHighlight

paintInvalid

boolean paintInvalid

eolMarkers

boolean eolMarkers

cols

int cols

rows

int rows

tabSize

int tabSize

fm

FontMetrics fm

highlights

TextAreaPainter.Highlight highlights

Package edu.utep.cs.jet.gui.explorer

Class edu.utep.cs.jet.gui.explorer.DefaultExplorer extends JTabbedPane implements Serializable

Serialized Fields

dirTree

edu.utep.cs.jet.gui.explorer.DirectoryTree dirTree

A directory browser.

frame

JFrame frame

Package edu.utep.cs.jet.gui.output

Class edu.utep.cs.jet.gui.output.DefaultOutputer extends OutputTextArea implements Serializable

Serialized Fields

contentsChangeListeners

List<E> contentsChangeListeners

Registered contents change listeners.

outputStream

OutputStream outputStream

Abstraction of this pane into an output stream.

theView

JTabbedPane theView

The GUI pane of this outputer.

Package edu.utep.cs.jet.gui.tester

Class edu.utep.cs.jet.gui.tester.Options extends JPanel implements Serializable

Serialized Fields

tester

DefaultTester tester

The editor associated with this options object.

strategy

JComboBox strategy

Combo box to specify the test strategy.

maxHeight

JTextField maxHeight

Text field to specify the maximum height of objects.

noAttempts

JTextField noAttempts

Text field to specify the maximum number of test attempts.

noIncAttempts

JSpinner noIncAttempts

Spinner to specify the maximum number of attempts to try when builing objects incrementally.

pooling

JCheckBox pooling

Check box to enable or disable obect pooling.

redundancy

JCheckBox redundancy

Check box to enable or disable redundancy check.

poolSize

JTextField poolSize

Text field to specify the object pool size.

classes

JTextArea classes

Text area to specify implementing classes for interfaces.