JET
A B C D E F G H I J K L M N O P Q R S T U V W X Y _

A

AbstractClassLoader - Class in edu.utep.cs.jet.gui
An abstract class loader that takes into account of the user-defined classpath.
AbstractClassLoader() - Constructor for class edu.utep.cs.jet.gui.AbstractClassLoader
Creates a new loader.
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.FindDialog
Implements the ActionListener interface.
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.GotoDialog
Implements the ActionListener interface.
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.backspace
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.backspace_word
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.clip_copy
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.clip_cut
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.clip_paste
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.delete
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.delete_word
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.document_end
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.document_home
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.end
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.home
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.insert_break
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.insert_char
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.insert_tab
 
actionPerformed(ActionListener, String) - Method in interface edu.utep.cs.jet.gui.editor.syn.InputHandler.MacroRecorder
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.next_char
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.next_line
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.next_page
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.next_word
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.overwrite
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.prev_char
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.prev_line
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.prev_page
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.prev_word
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.repeat
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.select_all
 
actionPerformed(ActionEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler.toggle_rect
 
add(String, byte) - Method in class edu.utep.cs.jet.gui.editor.syn.KeywordMap
Adds a key-value mapping.
addCaretListener(CaretListener) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Adds a caret change listener to this text area.
addClassFileChangeListener(ClassFileChangeListener) - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Registers the given class file change listener.
addClassFileChangeListener(ClassFileChangeListener) - Method in interface edu.utep.cs.jet.gui.tester.Tester
Registers the given class file change listener.
addContentsChangeListener(ContentsChangeListener) - Method in class edu.utep.cs.jet.gui.output.DefaultOutputer
Registers the given contents change listener.
addContentsChangeListener(ContentsChangeListener) - Method in interface edu.utep.cs.jet.gui.output.Outputer
Registers the given contents change listener.
addCustomHighlight(TextAreaPainter.Highlight) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Adds a custom highlight painter.
addDefaultKeyBindings() - Method in class edu.utep.cs.jet.gui.editor.syn.DefaultInputHandler
Sets up the default key bindings.
addDefaultKeyBindings() - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Adds the default key bindings to this input handler.
addFileChangeListener(FileChangeListener) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Registers the given file change listener.
addFileChangeListener(FileChangeListener) - Method in interface edu.utep.cs.jet.gui.editor.Editor
Registers the given file change listener.
addHidePopupMenu(JComponent, String, AbstractAction) - Static method in class edu.utep.cs.jet.gui.Util
Adds a popup menu to the given component.
addKeyBinding(String, ActionListener) - Method in class edu.utep.cs.jet.gui.editor.syn.DefaultInputHandler
Adds a key binding to this input handler.
addKeyBinding(String, ActionListener) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Adds a key binding to this input handler.
addLineChangeListener(LineChangeListener) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Registers the given line change listener.
addLineChangeListener(LineChangeListener) - Method in interface edu.utep.cs.jet.gui.editor.Editor
Registers the given line change listener.
addPopupMenu(JComponent, JPopupMenu) - Static method in class edu.utep.cs.jet.gui.Util
Adds the given popup menu to the given component.
addPopupOptions(JMenuItem) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Adds additional external buttons to popups from external classes.
addPopupSeparator() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Adds a separator to the popup window from an external class.
addTestCaseGenerationListener(TestCaseGenerationListener) - Method in class edu.utep.cs.jet.rat.TestCaseGenerator
Adds the given observer to the list of listeners.
addToken(int, byte) - Method in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
Adds a token to the token list.
addUndoableEdit(UndoableEdit) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
Adds an undoable edit to this document's undo list.
AllTestSuite - Class in edu.utep.cs.jet.rat.gen
A JUnit test class to test all classes.
AllTestSuite(String) - Constructor for class edu.utep.cs.jet.rat.gen.AllTestSuite
Creates a new instance.
AllTestSuite - Class in edu.utep.cs.jet.rat.val
A JUnit test class to test all classes.
AllTestSuite(String) - Constructor for class edu.utep.cs.jet.rat.val.AllTestSuite
Creates a new instance.
AllTestSuite.MutatorWithAnotherClass - Class in edu.utep.cs.jet.rat.gen
Class that has a mutator with an arugment of another class.
AllTestSuite.MutatorWithAnotherClass() - Constructor for class edu.utep.cs.jet.rat.gen.AllTestSuite.MutatorWithAnotherClass
 
alreadyParsedRule(IntStream, int) - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
append(String) - Method in class edu.utep.cs.jet.gui.output.DefaultOutputer
Appends the given message to this text area.
apply() - Method in class edu.utep.cs.jet.gui.editor.Options
Applies current selections without closing the option window.
apply() - Method in interface edu.utep.cs.jet.gui.OptionPanel
Applies current selections without closing the option window.
apply() - Method in class edu.utep.cs.jet.gui.tester.Options
Applies current selections without closing the option window.
ARG - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
ARGS - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
arguments() - Method in class edu.utep.cs.jet.rat.TestCase
Returns the arguments.
arrayGenerator - Variable in class edu.utep.cs.jet.rat.gen.SimpleValueGenerator
Array value generator.
ArrayValue - Class in edu.utep.cs.jet.rat.val
A class to represent an array value.
ArrayValue(Class<?>, Denotable[]) - Constructor for class edu.utep.cs.jet.rat.val.ArrayValue
Creates an array of the given type and elements.
assign(Object, int, Denotable) - Static method in class edu.utep.cs.jet.rat.val.ArrayValue
Retrieves the Java value represented by the given Denotable, elem, and assigns it to the i-th element of the given array, array.

B

BACKSPACE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
BACKSPACE_WORD - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
BASIC_CONSTRUCTOR - Static variable in interface edu.utep.cs.jet.rat.MethodWrapper
A basic constructor is a constructor or a static method that can create an instance of a class without needing another instance of the class.
beginCompoundEdit() - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
Starts a compound edit that can be undone in one operation.
biasLeft - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
blink - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
blinkCaret() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Blinks the caret.
blockCaret - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
blockCaret - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
BooleanValue - Class in edu.utep.cs.jet.rat.val
A class to represent a boolean value.
BooleanValue(boolean) - Constructor for class edu.utep.cs.jet.rat.val.BooleanValue
Creates a new instance representing the given boolean value.
BOTTOM - Static variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
bracketHighlight - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
bracketHighlight - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
bracketHighlightColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
bracketHighlightColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
bracketLine - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
bracketPosition - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
ByteValue - Class in edu.utep.cs.jet.rat.val
A class to represent a byte value.
ByteValue(byte) - Constructor for class edu.utep.cs.jet.rat.val.ByteValue
Creates a new instance representing the given byte value.

C

CALL - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
cancel() - Method in class edu.utep.cs.jet.gui.editor.Options
Closes the option winodw without applying the current selections.
cancel() - Method in interface edu.utep.cs.jet.gui.OptionPanel
Closes the option winodw without applying the current selections.
cancel() - Method in class edu.utep.cs.jet.gui.tester.Options
Closes the option winodw without applying the current selections.
canConstruct(Denotable) - Method in class edu.utep.cs.jet.rat.gen.IncrementalClassValueGenerator
Returns true if the given value can actually be built.
caretBlinks - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
caretBlinks - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
caretColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
caretColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
caretEvent - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
caretTimer - Static variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
caretVisible - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
caretVisible - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
CENTER - Static variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
centerWindow(Component) - Static method in class edu.utep.cs.jet.gui.Util
Centers the given window within the screen.
CHAR - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
CharValue - Class in edu.utep.cs.jet.rat.val
A class to represent a char value.
CharValue(char) - Constructor for class edu.utep.cs.jet.rat.val.CharValue
Creates a new instance representing the given char value.
checkItemStatus() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Checks popup's items status
CLASS - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
CLASS_EXTENSION - Static variable in interface edu.utep.cs.jet.gui.Constants
The extension of Java class files.
ClassFileChangeListener - Interface in edu.utep.cs.jet.gui.tester
A listener interface to notify the loading of a class file by the tester.
ClassValueGenerator - Class in edu.utep.cs.jet.rat.gen
A class to generate class values.
ClassValueGenerator(ValueFactory, ValueGenerator) - Constructor for class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Creates a generic class generator.
CLIP_COPY - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
CLIP_CUT - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
CLIP_PASTE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
code() - Method in interface edu.utep.cs.jet.rat.Denotable
Returns Java code that, if evaluated, gives the value represented by this denotable.
code() - Method in class edu.utep.cs.jet.rat.val.ArrayValue
Returns a textual representation of the object denoted by this constructor call.
code(VarGenerator) - Method in class edu.utep.cs.jet.rat.val.ArrayValue
Returns Java source code that, if evaluated, constructs a Java array object represented by this value.
code() - Method in class edu.utep.cs.jet.rat.val.CharValue
Returns Java code which, if evaluated, produces the represented value of this object.
code(VarGenerator) - Method in class edu.utep.cs.jet.rat.val.CompositeValue
Returns Java code that generates this value.
code() - Method in class edu.utep.cs.jet.rat.val.ConstructorCall
Returns a textual representation of the object denoted by this constructor call.
code(VarGenerator) - Method in class edu.utep.cs.jet.rat.val.ConstructorCall
Returns Java source code that, if evaluated, constructs the object represented by this constructor call.
code() - Method in class edu.utep.cs.jet.rat.val.MethodCall
Returns a textual representation of the object denoted by this method call.
code(VarGenerator) - Method in class edu.utep.cs.jet.rat.val.MethodCall
Returns Java source code that, if evaluated, constructs the object represented by this method call.
code() - Method in class edu.utep.cs.jet.rat.val.NullValue
Returns Java code for null.
code() - Method in class edu.utep.cs.jet.rat.val.PrimitiveValue
Returns Java code which, if evaluated, produces the represented value of this object.
code() - Method in class edu.utep.cs.jet.rat.val.StringValue
Returns Java code which, if evaluated, produces the represented value of this object.
COLOR_EXPLORER - Static variable in interface edu.utep.cs.jet.gui.Constants
 
COLOR_OUTPUT - Static variable in interface edu.utep.cs.jet.gui.Constants
 
cols - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
cols - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
COMMENT1 - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Comment 1 token id.
COMMENT2 - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Comment 2 token id.
COMMENT3 - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Comment 3 token id.
compilable(String) - Method in class edu.utep.cs.jet.gui.ToolActionFactory
Is the current file compilable with JML?
compilationDirectory - Variable in class edu.utep.cs.jet.gui.FileActionFactory
The directory in which the last compilation was performed.
CompositeValue - Class in edu.utep.cs.jet.rat.val
A class to represent an array value.
CompositeValue(Class<?>, Denotable[]) - Constructor for class edu.utep.cs.jet.rat.val.CompositeValue
Creates a composite value of the given type and elements.
CompositeValue.SimpleVarGenerator - Class in edu.utep.cs.jet.rat.val
 
CompositeValue.SimpleVarGenerator() - Constructor for class edu.utep.cs.jet.rat.val.CompositeValue.SimpleVarGenerator
 
confirm() - Method in class edu.utep.cs.jet.gui.editor.Options
Closes the option window after applying current selections.
confirm() - Method in interface edu.utep.cs.jet.gui.OptionPanel
Closes the option window after applying current selections.
confirm() - Method in class edu.utep.cs.jet.gui.tester.Options
Closes the option window after applying current selections.
Constants - Interface in edu.utep.cs.jet.gui
An interface defining various golobal constants.
construct(int) - Method in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Constructs and returns an instance of the target class.
construct(int) - Method in class edu.utep.cs.jet.rat.gen.IncrementalClassValueGenerator
Constructs an instance of the target class.
ConstructorCall - Class in edu.utep.cs.jet.rat.val
A class to represent a constructor call.
ConstructorCall(Constructor<?>, Denotable[]) - Constructor for class edu.utep.cs.jet.rat.val.ConstructorCall
Creates a new instance with the given constructor and arguments.
contentsChanged() - Method in interface edu.utep.cs.jet.gui.output.ContentsChangeListener
Called when the contents of the output pane was changed.
ContentsChangeListener - Interface in edu.utep.cs.jet.gui.output
A listener interface to notify changes of the contents of the output pane.
Context - Interface in edu.utep.cs.jet.rat
An interface representing a testing context.
context - Variable in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
The testing context.
copy() - Method in class edu.utep.cs.jet.gui.editor.syn.DefaultInputHandler
Returns a copy of this input handler that shares the same key bindings.
copy() - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Returns a copy of this input handler that shares the same key bindings.
copy() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Places the selected text into the clipboard.
copyEditorStylesTo(SyntaxStyle[]) - Static method in class edu.utep.cs.jet.gui.editor.Preference
Copies the editor's style to the argument.
COPYRIGHT - Static variable in interface edu.utep.cs.jet.gui.Constants
The copyright notice.
createArrayValue(Class<?>, Denotable[]) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates an array value.
createArrayValue(Class<?>, Denotable[]) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates an array value.
createBooleanValue(boolean) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a boolean value.
createBooleanValue(boolean) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a boolean value.
createBorder(String, JComponent, int) - Static method in class edu.utep.cs.jet.gui.Util
Creates a compound boder consisting of a titled border and an empty border.
createByteValue(byte) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a byte value.
createByteValue(byte) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a byte value.
createCharValue(char) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a char value.
createCharValue(char) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a char value.
createComponentListener(int, int) - Static method in class edu.utep.cs.jet.gui.Util
Returns a component listener that prohibits the component c from being resized smaller than the width w and the height h.
createConstructorCall(Constructor<?>, Denotable[]) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a constructor-call value.
createConstructorCall(Constructor<?>, Denotable[]) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a constructor-call value.
createDoubleValue(double) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a double value.
createDoubleValue(double) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a double value.
createEditMenu() - Method in class edu.utep.cs.jet.gui.MenuFactory
Creates the edit menu.
createExplorerPopupMenu() - Method in class edu.utep.cs.jet.gui.MenuFactory
Creates the popup menu for the directory browser.
createFileMenu() - Method in class edu.utep.cs.jet.gui.MenuFactory
Creates the file menu.
createFloatValue(float) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a float value.
createFloatValue(float) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a float value.
createHelpMenu() - Method in class edu.utep.cs.jet.gui.MenuFactory
Creates the help menu.
createIntValue(int) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates an int value.
createIntValue(int) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates an int value.
createLongValue(long) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a long value.
createLongValue(long) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a long value.
createMethodCall(Class<?>, Method, Denotable, Denotable[]) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a method-call value.
createMethodCall(Class<?>, Method, Denotable, Denotable[]) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a method-call value.
createMethodSignature(Member) - Static method in class edu.utep.cs.jet.gui.tester.Parser
Creates a method signature from a Member type.
createNullValue() - Method in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Creates a null value.
createNullValue(Class<?>) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a null value of the given type.
createNullValue(Class<?>) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a null value of the given type.
createOptionMenu(Main, OptionPanel...) - Method in class edu.utep.cs.jet.gui.MenuFactory
Creates the option menu.
createPopupMenu(Action) - Method in class edu.utep.cs.jet.gui.output.DefaultOutputer
Creates a popup menu for this output pane.
createPopupMenu(Action) - Method in class edu.utep.cs.jet.gui.OutputTextArea
Creates a popup menu for this output pane.
createRow(JComponent...) - Static method in class edu.utep.cs.jet.gui.Util
Creates a horizontal box consisting of the given components.
createScrollPane(Component) - Static method in class edu.utep.cs.jet.gui.Util
Creates a scroll pane for the given component.
createShortValue(short) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a short value.
createShortValue(short) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a short value.
createStringValue(String) - Method in class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a string value.
createStringValue(String) - Method in interface edu.utep.cs.jet.rat.ValueFactory
Creates a string value.
createTestCaseGenerationListener(EtMethod) - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Creates a test case generation listener for testing the given method.
createTestCaseGenerationListener(EtMethod) - Method in class edu.utep.cs.jet.gui.tester.ExperimentTester
Creates a test case generation listener for testing the given method.
createTestMenu() - Method in class edu.utep.cs.jet.gui.MenuFactory
Creates the test menu.
createTestMenu(FileActionFactory, ToolActionFactory, String) - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Creates a menu for the Test Menu.
createTestMenu(FileActionFactory, ToolActionFactory, String) - Method in interface edu.utep.cs.jet.gui.tester.Tester
Creates a menu for the Test Menu.
createTextPane(DefaultStyledDocument) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Creates a new text pane.
createTextPane(DefaultStyledDocument) - Method in class edu.utep.cs.jet.gui.editor.LineNumberedEditor
Creates a new text pane for this editor.
createToolMenu() - Method in class edu.utep.cs.jet.gui.MenuFactory
Creates the tool menu.
createViewMenu(ViewController) - Method in class edu.utep.cs.jet.gui.MenuFactory
Creates the view menu.
CTokenMarker - Class in edu.utep.cs.jet.gui.editor.syn
C token marker.
CTokenMarker() - Constructor for class edu.utep.cs.jet.gui.editor.syn.CTokenMarker
 
CTokenMarker(boolean, KeywordMap) - Constructor for class edu.utep.cs.jet.gui.editor.syn.CTokenMarker
 
currentFile - Static variable in class edu.utep.cs.jet.gui.FileActionFactory
The current file being edited.
cut() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Deletes the selected text from the text area and places it into the clipboard.

D

DEBUG - Static variable in interface edu.utep.cs.jet.gui.Constants
 
debug(String) - Static method in class edu.utep.cs.jet.gui.Util
Prints the given message on stdout if the debug flag Constants.DEBUG is true; otherwise, do nothing.
DefaultEditor - Class in edu.utep.cs.jet.gui.editor
A simple source code editor that support single document editing and primitive syntax hightligting.
DefaultEditor() - Constructor for class edu.utep.cs.jet.gui.editor.DefaultEditor
Create a new JML editor.
DefaultExplorer - Class in edu.utep.cs.jet.gui.explorer
A tabbed pane to display several kinds of explorers.
DefaultExplorer(ExplorerComponent[], MenuFactory) - Constructor for class edu.utep.cs.jet.gui.explorer.DefaultExplorer
Creates a new explore pane by using the given menu factory and adding the given components in addition to the default component.
DefaultExplorer(MenuFactory) - Constructor for class edu.utep.cs.jet.gui.explorer.DefaultExplorer
Creates a new explore pane by using the given menu factory.
DefaultInputHandler - Class in edu.utep.cs.jet.gui.editor.syn
The default input handler.
DefaultInputHandler() - Constructor for class edu.utep.cs.jet.gui.editor.syn.DefaultInputHandler
Creates a new input handler with no key bindings defined.
DefaultOutputer - Class in edu.utep.cs.jet.gui.output
A special text area to implement an output console.
DefaultOutputer() - Constructor for class edu.utep.cs.jet.gui.output.DefaultOutputer
Creates a new instance.
DefaultTester - Class in edu.utep.cs.jet.gui.tester
The default tester class responsible for generating test cases dynamically and displaying them.
DefaultTester() - Constructor for class edu.utep.cs.jet.gui.tester.DefaultTester
Creates a new instance.
DELETE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
DELETE_WORD - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
deleteLines(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
Informs the token marker that line have been deleted from the document.
Denotable - Interface in edu.utep.cs.jet.rat
An interface to uniformly represent various kinds of Java values and objects that can be part of a test case.
DetachablePane - Class in edu.utep.cs.jet.gui
A class implementing detachable and dockable panes.
DetachablePane() - Constructor for class edu.utep.cs.jet.gui.DetachablePane
Creates a detachable horizontal pane with no name.
DetachablePane(String) - Constructor for class edu.utep.cs.jet.gui.DetachablePane
Creates a detachable horizontal pane with the given name.
DetachablePane(int) - Constructor for class edu.utep.cs.jet.gui.DetachablePane
Creates an unamed detachable with the given orientation.
DetachablePane(String, int) - Constructor for class edu.utep.cs.jet.gui.DetachablePane
Creates a detachable pane with the given name and orientation.
dfa14 - Variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
dfa15 - Variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
dfa29 - Variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
DIVIDER_SIZE - Static variable in interface edu.utep.cs.jet.gui.Constants
The divider size of split windows.
document() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the document being edited.
document - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
document - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
DOCUMENT_END - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
DOCUMENT_HOME - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
documentChanged(DocumentEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
documentHandler - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
doTest(Collection<?>) - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Tests all the methods contained in the given collecton.
doTest(EtMethod) - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Tests the given method.
doTest(Collection<?>) - Method in class edu.utep.cs.jet.gui.tester.ExperimentTester
Tests all the methods contained in the given collecton.
DoubleValue - Class in edu.utep.cs.jet.rat.val
A class to represent a double value.
DoubleValue(double) - Constructor for class edu.utep.cs.jet.rat.val.DoubleValue
Creates a new instance representing the given double value.

E

EDIT_MENU_NAME - Static variable in interface edu.utep.cs.jet.gui.Constants
The name of edit menu.
editable - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
editable - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
Editor - Interface in edu.utep.cs.jet.gui.editor
An interface to the built-in editor that can edit a single document at a time.
editor() - Method in class edu.utep.cs.jet.gui.Main
Returns the editor of this GUI.
editor() - Method in interface edu.utep.cs.jet.gui.Mainable
Returns the editor of this GUI.
edu.utep.cs.jet.gui - package edu.utep.cs.jet.gui
Contains the source code for a graphics user interface to the JML-based unit testing tool for Java.
edu.utep.cs.jet.gui.editor - package edu.utep.cs.jet.gui.editor
Contains the source code for a editor that can open a single Java/JML source code file at a time and supports a primitive form of syntax coloring.
edu.utep.cs.jet.gui.editor.syn - package edu.utep.cs.jet.gui.editor.syn
Contains the source code for Java syntax highlighting.
edu.utep.cs.jet.gui.explorer - package edu.utep.cs.jet.gui.explorer
Contains the source code for displaying several kinds of explorers, such as a directory browser that allows one to browse through directories and files.
edu.utep.cs.jet.gui.output - package edu.utep.cs.jet.gui.output
Contains the source code for the output console.
edu.utep.cs.jet.gui.tester - package edu.utep.cs.jet.gui.tester
Contains the source code to interface with an external test case generation tool.
edu.utep.cs.jet.rat - package edu.utep.cs.jet.rat
Contains the source code to automatically test methods and constructors by generating test cases randomly.
edu.utep.cs.jet.rat.gen - package edu.utep.cs.jet.rat.gen
Contains the source code for generating various types of Java values randomly.
edu.utep.cs.jet.rat.val - package edu.utep.cs.jet.rat.val
Contains the source code for classes representing various types of Java values.
electricScroll - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
electricScroll - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
elems() - Method in class edu.utep.cs.jet.rat.val.CompositeValue
Returns the component values.
enableStatDialog() - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Returns true if the test statistics dialog has to be enabled.
enableStatDialog() - Method in class edu.utep.cs.jet.gui.tester.ExperimentTester
Overridden here to disable the test statistics dialog.
END - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
END - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
The token type, that along with a length of 0 marks the end of the token list.
endCompoundEdit() - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
Ends a compound edit that can be undone in one operation.
ensureCapacity(int) - Method in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
Ensures that the lineInfo array can contain the specified index.
EOF - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
eolMarkerColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
eolMarkerColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
eolMarkers - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
eolMarkers - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
ESC - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
et - Variable in class edu.utep.cs.jet.gui.FileActionFactory
The main program.
EVERYTHING_ELSE - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
executeAction(ActionListener, Object, String) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Executes the specified action, repeating and recording it as necessary.
ExperimentTester - Class in edu.utep.cs.jet.gui.tester
A test class that also collects and prints test statistics.
ExperimentTester() - Constructor for class edu.utep.cs.jet.gui.tester.ExperimentTester
Creates a new instance.
Explorer - Interface in edu.utep.cs.jet.gui.explorer
An interface to the explorer.
explorer() - Method in class edu.utep.cs.jet.gui.Main
Returns the explorer of this GUI.
explorer() - Method in interface edu.utep.cs.jet.gui.Mainable
Returns the explorer of this GUI.
EXPLORER_DIR - Static variable in interface edu.utep.cs.jet.gui.Constants
The indentification character of the directory browser.
EXPLORER_ROOT - Static variable in interface edu.utep.cs.jet.gui.Constants
The default root directory of the directory browser.
ExplorerComponent - Interface in edu.utep.cs.jet.gui.explorer
An interface to the components of the explorer.
export(List<EtMethod>, File) - Static method in class edu.utep.cs.jet.gui.tester.JUnitExporter
Exports all the test cases of the given methods as JUnit tests.
export(EtTestCase[], File) - Static method in class edu.utep.cs.jet.gui.tester.JUnitExporter
Exports the given test cases of the given method as JUnit tests.
export() - Method in class edu.utep.cs.jet.gui.tester.JUnitExporter
Exports test cases as a JUnit test class.
EXTENDED_CONSTRUCTOR - Static variable in interface edu.utep.cs.jet.rat.MethodWrapper
An extended constructor is a constructor or a static method that can create an instance of a class, given other instances of the class.

F

factory - Variable in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Factory to create various types of values.
failureTestCase(TestCase, String) - Method in interface edu.utep.cs.jet.rat.TestCaseGenerationListener
Invoked when a failure test case is generated.
FILE_MENU_NAME - Static variable in interface edu.utep.cs.jet.gui.Constants
The name of file menu.
FileActionFactory - Class in edu.utep.cs.jet.gui
A factory class to create various file manipulation actions.
FileActionFactory(Mainable, ViewController) - Constructor for class edu.utep.cs.jet.gui.FileActionFactory
Creates a new instance for the given tool et.
FileChangeListener - Interface in edu.utep.cs.jet.gui.editor
A listener interface to notify the opening and closing of the file edited by the editor.
FileClassLoader - Class in edu.utep.cs.jet.gui.tester
A special class loader to load a class from a given bytecode file.
FileClassLoader() - Constructor for class edu.utep.cs.jet.gui.tester.FileClassLoader
Creates a new loader.
fileLoaded(File) - Method in interface edu.utep.cs.jet.gui.tester.ClassFileChangeListener
Called when a new class file was loaded by the tester.
fileOpened(File) - Method in interface edu.utep.cs.jet.gui.editor.FileChangeListener
Called when a file was opened by the editor.
findClass(String) - Method in class edu.utep.cs.jet.gui.tester.FileClassLoader
Finds the specified class.
FindDialog - Class in edu.utep.cs.jet.gui.editor
A dialog to find a text from the document of the given editor.
FindDialog(DefaultEditor) - Constructor for class edu.utep.cs.jet.gui.editor.FindDialog
Creates a dialog associated with the given editor.
findMatchingBracket(Document, int) - Static method in class edu.utep.cs.jet.gui.editor.syn.TextUtilities
Returns the offset of the bracket matching the one at the specified offset of the document, or -1 if the bracket is unmatched (or if the character is not a bracket).
findWordEnd(String, int, String) - Static method in class edu.utep.cs.jet.gui.editor.syn.TextUtilities
Locates the end of the word at the specified position.
findWordStart(String, int, String) - Static method in class edu.utep.cs.jet.gui.editor.syn.TextUtilities
Locates the start of the word at the specified position.
fireCaretEvent() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
fireInsertUpdate(DocumentEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
We overwrite this method to update the token marker state immediately so that any event listeners get a consistent token marker.
fireRemoveUpdate(DocumentEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
We overwrite this method to update the token marker state immediately so that any event listeners get a consistent token marker.
firstLine - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
firstToken - Variable in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
The first token in the list.
FloatValue - Class in edu.utep.cs.jet.rat.val
A class to represent a float value.
FloatValue(float) - Constructor for class edu.utep.cs.jet.rat.val.FloatValue
Creates a new instance representing the given float value.
fm - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
focusedComponent - Static variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
frame - Variable in class edu.utep.cs.jet.gui.FileActionFactory
The main frame of this program.
frame() - Method in class edu.utep.cs.jet.gui.Main
Returns the frame of this GUI.
frame() - Method in interface edu.utep.cs.jet.gui.Mainable
Returns the frame of this GUI.
FuzzyParserLexer - Class in edu.utep.cs.jet.gui.tester
 
FuzzyParserLexer() - Constructor for class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
FuzzyParserLexer(CharStream) - Constructor for class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 

G

generate(Class<?>, Context, int) - Method in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Generates a value of the given class type under the given testing context.
generate(Class<?>, Context, int) - Method in class edu.utep.cs.jet.rat.gen.IncrementalClassValueGenerator
Generates a value of the given class type under the given testing context.
generate(Class<?>, Context, int) - Method in class edu.utep.cs.jet.rat.gen.SimpleValueGenerator
Generates a new value of the given type under the given testing context.
generate(Context) - Method in class edu.utep.cs.jet.rat.TestCaseGenerator
Generates test cases under the given testing context.
generate(Class<?>, Context, int) - Method in interface edu.utep.cs.jet.rat.ValueGenerator
Generates a new value of the given type under the given testing context.
generateArguments(Class<?>[], int) - Method in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Generates arguments of the given types.
genVar() - Method in class edu.utep.cs.jet.rat.val.CompositeValue.SimpleVarGenerator
 
genVar() - Method in interface edu.utep.cs.jet.rat.val.VarGenerator
Returns a unique variable name.
getAction(String) - Static method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Returns a named text area action.
getActionName(ActionListener) - Static method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Returns the name of the specified text area action.
getActions() - Static method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Returns an enumeration of all available actions.
getArguments() - Method in class edu.utep.cs.jet.rat.val.ConstructorCall
Returns the arguments used to call the constructor
getArguments() - Method in class edu.utep.cs.jet.rat.val.MethodCall
Returns the arguments used to call the method
getBackground() - Static method in class edu.utep.cs.jet.gui.Preference
Returns the background user image
getBanner() - Static method in class edu.utep.cs.jet.gui.Preference
Returns the user selected banner
getBaseName(File) - Static method in class edu.utep.cs.jet.gui.ToolActionFactory
Returns the base name of the give file.
getBaseName(File) - Static method in class edu.utep.cs.jet.gui.Util
Returns the base name of the give file.
getBracketHighlightColor() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the bracket highlight color.
getBracketLine() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the line of the highlighted bracket (the bracket matching the one before the caret)
getBracketPosition() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the position of the highlighted bracket (the bracket matching the one before the caret)
getCaretColor() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the caret color.
getCaretLine() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the caret line.
getCaretPosition() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the caret position.
getCheckJml() - Method in class edu.utep.cs.jet.gui.ToolActionFactory
Returns an action for the Check JML menu item.
getClasspath() - Static method in class edu.utep.cs.jet.gui.Preference
Returns the classpath.
getClassValueGenerator(Class<?>, ValueFactory) - Method in class edu.utep.cs.jet.rat.gen.IncrementalValueGenerator
Creates a class value generator for the given type.
getClassValueGenerator(Class<?>, ValueFactory) - Method in class edu.utep.cs.jet.rat.gen.SimpleValueGenerator
Creates a class value generator for the given type.
getClazz() - Method in interface edu.utep.cs.jet.rat.Context
Returns the class under test.
getClose() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the close menu item.
getCloseAll(WorkingPane) - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the closeAll menu item.
getColor() - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Returns the color specified in this style.
getCompile() - Method in class edu.utep.cs.jet.gui.ToolActionFactory
Returns an action for the Compile Java menu item.
getCompileJml() - Method in class edu.utep.cs.jet.gui.ToolActionFactory
Returns an action for the Compile JML menu item.
getComponent() - Method in interface edu.utep.cs.jet.gui.explorer.ExplorerComponent
Returns the component.
getConstructor() - Method in class edu.utep.cs.jet.rat.val.ConstructorCall
Returns the constructor wrapped by this Denotable
getCopy() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the copy action of this editor.
getCopy() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the copy action of this editor.
getCopy() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns an action for copy selected text.
getCut() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the cut action of this editor.
getCut() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the cut action of this editor.
getCut() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns an action for cutting selected text.
getDefaults() - Static method in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
Returns a new TextAreaDefaults object with the default values filled in.
getDefaultSyntaxStyles() - Static method in class edu.utep.cs.jet.gui.editor.syn.SyntaxUtilities
Returns the default style table.
getDelete() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the action for delete menu item.
getDelete() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the action for delete menu item.
getDocument() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the document this text area is editing.
getDocumentLength() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the length of the document.
getDropTarget() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns a drop target object that accepts dropping of files on the Java editor.
getEditorBackground() - Static method in class edu.utep.cs.jet.gui.editor.Preference
Returns the editor's background color.
getEditorFont() - Static method in class edu.utep.cs.jet.gui.editor.Preference
Returns the font to be used by the editor.
getEditorFontName() - Static method in class edu.utep.cs.jet.gui.editor.Preference
Returns the font to be used by the editor.
getEditorFontSize() - Static method in class edu.utep.cs.jet.gui.editor.Preference
Returns the editor's font size.
getEditorForeground() - Static method in class edu.utep.cs.jet.gui.editor.Preference
Returns the editor's foreground color.
getEditorTabSize() - Static method in class edu.utep.cs.jet.gui.editor.Preference
Returns the number of test attempts.
getElectricScroll() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the number of lines from the top and button of the text area that are always visible.
getEOLMarkerColor() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the EOL marker color.
getEOLMarkersPainted() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns true if EOL markers are drawn, false otherwise.
getErrWriter() - Method in interface edu.utep.cs.jet.rat.Context
Returns the print writer that accepts error messages.
getET() - Static method in class edu.utep.cs.jet.gui.FileActionFactory
 
getException() - Method in class edu.utep.cs.jet.rat.TestRunner
Returns the exception, if exists, caught during the last test execution.
getExit() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the exit menu item.
getExplorerView() - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Returns the view to be added to the explorer pane.
getExplorerView() - Method in interface edu.utep.cs.jet.gui.tester.Tester
Returns the view to be added to the explorer pane.
getFileChangeListener() - Method in class edu.utep.cs.jet.gui.ToolActionFactory
Returns a file change listener that listens to the opening and closing of the file being edited by the editor.
getFileName() - Method in class edu.utep.cs.jet.gui.explorer.DefaultExplorer
Returns the name of the currently selected file.
getFileName() - Method in interface edu.utep.cs.jet.gui.explorer.Explorer
Returns the name of the currently selected file.
getFind() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the find action of this editor.
getFind() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the find action of this editor.
getFirstLine() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the line displayed at the text area's origin.
getFontMetrics(Font, JComponent) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Returns the font metrics for the styled font.
getFontMetrics() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the font metrics used by this component.
getGoto() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the goto action of this editor.
getGoto() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the goto action of this editor.
getGrammarFileName() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
getHorizontalOffset() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the horizontal offset of drawn lines.
getIcon(String) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns an image icon whose image is read from the file named name.
getIcon(String) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns an image icon whose image is read from the file named name.
getIcon() - Method in interface edu.utep.cs.jet.gui.explorer.ExplorerComponent
Returns the icon.
getIcon(String) - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an image icon whose image is read from the file named name.
getIcon(String) - Static method in class edu.utep.cs.jet.gui.Util
Returns an image icon whose image is read from the file named name.
getIgnoreCase() - Method in class edu.utep.cs.jet.gui.editor.syn.KeywordMap
Returns true if the keyword map is set to be case insensitive, false otherwise.
getImplClasses() - Method in interface edu.utep.cs.jet.rat.Context
Returns the concrete implemenation classes of interfaces and abstract classes.
getInputHandler() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the input handler.
getInstance(String) - Static method in class edu.utep.cs.jet.rat.TestCaseGenerator
Returns a test case generator of the given strategy.
getInvalidLinesPainted() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns true if invalid lines are painted as red tildes (~), false otherwise.
getJava() - Static method in class edu.utep.cs.jet.gui.Preference
Returns the Java interpreter.
getJavaCompiler() - Static method in class edu.utep.cs.jet.gui.Preference
Returns the Java compiler.
getKeywords() - Static method in class edu.utep.cs.jet.gui.editor.syn.CTokenMarker
 
getKeywords() - Static method in class edu.utep.cs.jet.gui.editor.syn.JavaTokenMarker
 
getKind() - Method in interface edu.utep.cs.jet.rat.MethodWrapper
Returns the kind of wrapped object.
getLineCount() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the number of lines in the document.
getLineCount() - Method in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
Returns the number of lines in this token marker.
getLineEndOffset(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the end offset of the specified line.
getLineHighlightColor() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the line highlight color.
getLineLength(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the length of the specified line.
getLineOfOffset(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the line containing the specified offset.
getLineStartOffset(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the start offset of the specified line.
getLineText(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the text on the specified line.
getLineText(int, Segment) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Copies the text on the specified line into a segment.
getMacroRecorder() - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Returns the macro recorder.
getMagicCaretPosition() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the `magic' caret position.
getMarkLine() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the mark line.
getMarkPosition() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the mark position.
getMaxHeight() - Method in interface edu.utep.cs.jet.rat.Context
Returns the maximum height of test case objects.
getMethod() - Method in interface edu.utep.cs.jet.rat.Context
Returns the method or constructor under test.
getMethod() - Method in class edu.utep.cs.jet.rat.val.MethodCall
Returns the method wrapped by this Denotable
getMethods() - Method in interface edu.utep.cs.jet.rat.Context
Returns all the methods of the class under test.
getMinimumSize() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the painter's minimum size.
getNew() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the new menu item.
getNumOfAttempts() - Method in interface edu.utep.cs.jet.rat.Context
Returns the number of test attempts.
getNumOfIncAttempts() - Method in interface edu.utep.cs.jet.rat.Context
Returns the maximum number of attempts to be tried when an incremental construction of an object fails.
getObjectPoolSize() - Method in interface edu.utep.cs.jet.rat.Context
Returns the size of object pool.
getOpen() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the open menu item.
getOptionPanel() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the option panel of this editor.
getOptionPanel() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the option panel of this editor.
getOptionPanel() - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Returns the option panel of this tester.
getOptionPanel() - Method in interface edu.utep.cs.jet.gui.tester.Tester
Returns the option panel of this tester.
getPainter() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the object responsible for painting this text area.
getPaste() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the action for paste menu item.
getPaste() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the action for paste menu item.
getPaste() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns an action for cutting selected text.
getPasteAction() - Method in interface edu.utep.cs.jet.gui.SourceCodeViewer
Returns a paste action that should be enabled when a copy action is performed on the output pane.
getPopDelete() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the popup delete menu item.
getPopNew() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the popup new menu item.
getPopOpen() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns the open action for the popup menu.
getPopRefresh() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the popup refresh menu item.
getPopRootDir() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the popup change root dir menu item.
getPopTest() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns the test action.
getPopTest() - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Creates an action to generate test cases for the currently selected method or constructor.
getPopTest() - Method in class edu.utep.cs.jet.gui.tester.ExperimentTester
Overridden here to collect test statistics.
getPopTestAll() - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Creates an action to generate test cases for all the methods and constructors.
getPopTestAll() - Method in class edu.utep.cs.jet.gui.tester.ExperimentTester
Overridden here to collect test statistics.
getPopTestDeclared() - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Creates an action to generate test cases for the declared methods.
getPopTestDeclared() - Method in class edu.utep.cs.jet.gui.tester.ExperimentTester
Overridden here to collect test statistics.
getPopTestInherited() - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Creates an action to generate test cases for the inherited methods.
getPopTestInherited() - Method in class edu.utep.cs.jet.gui.tester.ExperimentTester
Overridden here to collect test statistics.
getPreferredSize() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the painter's preferred size.
getPrint() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the print menu item.
getPrinterSetup() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the printer setup menu item.
getRawClasspath() - Static method in class edu.utep.cs.jet.gui.Preference
Returns the raw classpath.
getReceiver() - Method in class edu.utep.cs.jet.rat.val.MethodCall
Returns the receiver object of the method call
getRedo() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the redo action of this editor.
getRedo() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the redo action of this editor.
getRepeatCount() - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Returns the number of times the next action will be repeated.
getReturnType() - Method in class edu.utep.cs.jet.rat.val.MethodCall
Returns the return type of this method call.
getRightClickPopup() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the right click popup menu.
getRoot() - Static method in class edu.utep.cs.jet.gui.Preference
Returns the explorer root directory.
getRun() - Method in class edu.utep.cs.jet.gui.ToolActionFactory
Returns an action for the Run menu item.
getSave() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the save menu item.
getSaveAs() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Returns an action for the save as menu item.
getSegmentMapKey(Segment, int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.KeywordMap
 
getSelectAll() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns an action for selecting all text.
getSelectedText() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the selected text, or null if no selection is active.
getSelectionColor() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the selection color.
getSelectionEnd() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the selection end offset.
getSelectionEnd(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the offset where the selection ends on the specified line.
getSelectionEndLine() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the selection end line.
getSelectionStart() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the selection start offset.
getSelectionStart(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the offset where the selection starts on the specified line.
getSelectionStartLine() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the selection start line.
getStringMapKey(String) - Method in class edu.utep.cs.jet.gui.editor.syn.KeywordMap
 
getStyledFont(Font) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Returns the specified font, but with the style's bold and italic flags applied.
getStyles() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the syntax styles used to paint colorized text.
getTestAttempts() - Static method in class edu.utep.cs.jet.gui.tester.Preference
Returns the number of test attempts.
getTestImplClasses() - Static method in class edu.utep.cs.jet.gui.tester.Preference
Returns the implementation classes for interfaces.
getTestIncAttempts() - Static method in class edu.utep.cs.jet.gui.tester.Preference
Returns the number of incremental test attempts.
getTestMaxHeight() - Static method in class edu.utep.cs.jet.gui.tester.Preference
Returns the maximum height of objects.
getTestObjectPoolSize() - Static method in class edu.utep.cs.jet.gui.tester.Preference
Returns the maximum size of the object pool.
getTestOP() - Method in class edu.utep.cs.jet.gui.FileActionFactory
 
getTestStrategy() - Static method in class edu.utep.cs.jet.gui.tester.Preference
Returns the test strategy.
getText() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the entire text of this text area.
getText(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the specified substring of the document.
getText(int, int, Segment) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Copies the specified substring of the document into a segment.
getTextArea(EventObject) - Static method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Returns the text area that fired the specified event.
getTheme() - Static method in class edu.utep.cs.jet.gui.Preference
Returns the user selected theme
getTitle() - Method in class edu.utep.cs.jet.gui.editor.Options
Returns the title.
getTitle() - Method in interface edu.utep.cs.jet.gui.explorer.ExplorerComponent
Returns the title.
getTitle() - Method in interface edu.utep.cs.jet.gui.OptionPanel
Returns the title of this option pane.
getTitle() - Method in class edu.utep.cs.jet.gui.tester.Options
Returns the title.
getTokenMarker() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the document's token marker.
getTokenMarker() - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
Returns the token marker that is to be used to split lines of this document up into tokens.
getToolTip() - Method in class edu.utep.cs.jet.gui.editor.Options
Returns the tool tip text.
getToolTip() - Method in interface edu.utep.cs.jet.gui.explorer.ExplorerComponent
Returns the tool tip text.
getToolTip() - Method in interface edu.utep.cs.jet.gui.OptionPanel
Returns the tool tip text of this option pane.
getToolTip() - Method in class edu.utep.cs.jet.gui.tester.Options
Returns the tool tip text.
getToolTipText(MouseEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns the tool tip to display at the specified location.
getToolTipText(MouseEvent) - Method in interface edu.utep.cs.jet.gui.editor.syn.TextAreaPainter.Highlight
Returns the tool tip to display at the specified location.
getTutorial() - Method in class edu.utep.cs.jet.gui.ToolActionFactory
Returns an action for the Tutorial menu item.
getUndo() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the undo action of this editor.
getUndo() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the undo action of this editor.
getView() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns the view of this editor.
getView() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns the view of this editor.
getView() - Method in class edu.utep.cs.jet.gui.editor.LineNumberedEditor
Returns the view of this editor.
getView() - Method in class edu.utep.cs.jet.gui.explorer.DefaultExplorer
Returns the explorer pane that can be added to the main GUI.
getView() - Method in interface edu.utep.cs.jet.gui.explorer.Explorer
Returns the explorer pane that can be added to the main GUI.
getView() - Method in class edu.utep.cs.jet.gui.output.DefaultOutputer
Returns the output pane that can be added to the main GUI.
getView() - Method in interface edu.utep.cs.jet.gui.output.Outputer
Returns the output pane that can be added to the main GUI.
getView() - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Returns the view of this tester.
getView() - Method in interface edu.utep.cs.jet.gui.tester.Tester
Returns the view of this tester.
getVisibleLines() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns the number of lines visible in this text area.
getWarnedInterfaces() - Method in interface edu.utep.cs.jet.rat.Context
Returns the set of interface names that are already warned about no known implementation classes.
getWrapped() - Method in interface edu.utep.cs.jet.rat.MethodWrapper
Returns the wrapped method or constructor.
GotoDialog - Class in edu.utep.cs.jet.gui.editor
A dialog to jump to a specific line of an editor.
GotoDialog(Editor) - Constructor for class edu.utep.cs.jet.gui.editor.GotoDialog
Creates a new dialog associated with the given editor.
grabAction - Variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
grabNextKeyStroke(ActionListener) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Grabs the next key typed event and invokes the specified action with the key as a the action command.

H

handleGrabAction(KeyEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
If a key is being grabbed, this method should be called with the appropriate key event.
hasEquals() - Method in class edu.utep.cs.jet.rat.val.CompositeValue
Returns true if the type of the represented value has its own equals method defined.
hasReceiver() - Method in class edu.utep.cs.jet.rat.TestCase
Return true if this test case needs a receiver.
HELP_MENU_NAME - Static variable in interface edu.utep.cs.jet.gui.Constants
The name of help menu.
HelpContent - Class in edu.utep.cs.jet.gui
This class creates a new window with a JET's tutorial
HelpContent() - Constructor for class edu.utep.cs.jet.gui.HelpContent
 
highlight(int, int) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Highlights the specified line and column.
highlight(int) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Highlights the specified line.
highlight(int, int) - Method in interface edu.utep.cs.jet.gui.editor.Editor
Highlights the specified line and column.
highlight(int) - Method in interface edu.utep.cs.jet.gui.editor.Editor
Highlights the specified line.
highlight(String, int, int) - Method in interface edu.utep.cs.jet.gui.SourceCodeViewer
Highlights the given line and column of the given file, if necessary, by first bringing in the file into the source code viewer.
highlight(String, int) - Method in interface edu.utep.cs.jet.gui.SourceCodeViewer
Highlights the given line of the given file, if necessary, by first bringing in the file into the source code viewer.
highlights - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
HOME - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
horizontal - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
horizontalOffset - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 

I

ICON_ABOUT - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for the tool information.
ICON_ABSTRACT_CLASS - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_BROWSER - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_CLASS - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_CLASS_DISABLED - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_DELETE - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for deleting a file or a selected text.
ICON_ERROR - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for an error situation.
ICON_FILE - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_FOLDER - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_GEN_APP - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for compilation.
ICON_HOME - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for JML.
ICON_INFORM - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for information messages.
ICON_INTERFACE - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_JAVA_FILE - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_JML_LOGO - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for JML.
ICON_METHOD - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_METHOD_GREEN - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_METHOD_ORANGE - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_METHOD_RED - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_MINER - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_NEW - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for creating a new file.
ICON_NEWTESTSUITE - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_NOTE - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for notes.
ICON_OPEN - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for opening a file.
ICON_OUTPUT - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_PREFERENCES - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for preferences.
ICON_QUESTION - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for questions.
ICON_REDO - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for redoing an edit action.
ICON_SAVE_AS - Static variable in interface edu.utep.cs.jet.gui.Constants
 
ICON_TEST_FILE - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for JML.
ICON_UNDO - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for undoing an edit action.
ICON_UNKOWN - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for unknown.
ICON_WARN - Static variable in interface edu.utep.cs.jet.gui.Constants
The image icon for warning messages.
id - Variable in class edu.utep.cs.jet.gui.editor.syn.Token
The id of this token.
ID - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
ID_COUNT - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
The total number of defined token ids.
IMPORT - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
IncrementalClassValueGenerator - Class in edu.utep.cs.jet.rat.gen
A class to generate class values incrementally.
IncrementalClassValueGenerator(ValueFactory, ValueGenerator) - Constructor for class edu.utep.cs.jet.rat.gen.IncrementalClassValueGenerator
Creates a class generator that uses the given value factory and generator.
IncrementalRandomTestCaseGenerator - Class in edu.utep.cs.jet.rat
A class to generate test cases randomly.
IncrementalRandomTestCaseGenerator() - Constructor for class edu.utep.cs.jet.rat.IncrementalRandomTestCaseGenerator
Constructs an object for generating test cases.
IncrementalValueGenerator - Class in edu.utep.cs.jet.rat.gen
A class to generate values incrementally for object types.
IncrementalValueGenerator(ValueFactory) - Constructor for class edu.utep.cs.jet.rat.gen.IncrementalValueGenerator
Creates a new instance to generate values by using the given value factory.
init(JEditTextArea, TextAreaPainter.Highlight) - Method in interface edu.utep.cs.jet.gui.editor.syn.TextAreaPainter.Highlight
Called after the highlight painter has been added.
initializePopup() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Initialize popup menu.
InputHandler - Class in edu.utep.cs.jet.gui.editor.syn
An input handler converts the user's key strokes into concrete actions.
InputHandler() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
inputHandler - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
inputHandler - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
InputHandler.backspace - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.backspace() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.backspace
 
InputHandler.backspace_word - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.backspace_word() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.backspace_word
 
InputHandler.clip_copy - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.clip_copy() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.clip_copy
 
InputHandler.clip_cut - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.clip_cut() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.clip_cut
 
InputHandler.clip_paste - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.clip_paste() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.clip_paste
 
InputHandler.delete - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.delete() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.delete
 
InputHandler.delete_word - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.delete_word() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.delete_word
 
InputHandler.document_end - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.document_end(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.document_end
 
InputHandler.document_home - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.document_home(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.document_home
 
InputHandler.end - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.end(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.end
 
InputHandler.home - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.home(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.home
 
InputHandler.insert_break - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.insert_break() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.insert_break
 
InputHandler.insert_char - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.insert_char() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.insert_char
 
InputHandler.insert_tab - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.insert_tab() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.insert_tab
 
InputHandler.MacroRecorder - Interface in edu.utep.cs.jet.gui.editor.syn
Macro recorder.
InputHandler.next_char - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.next_char(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.next_char
 
InputHandler.next_line - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.next_line(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.next_line
 
InputHandler.next_page - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.next_page(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.next_page
 
InputHandler.next_word - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.next_word(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.next_word
 
InputHandler.NonRecordable - Interface in edu.utep.cs.jet.gui.editor.syn
If an action implements this interface, it should not be recorded by the macro recorder.
InputHandler.NonRepeatable - Interface in edu.utep.cs.jet.gui.editor.syn
If an action implements this interface, it should not be repeated.
InputHandler.overwrite - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.overwrite() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.overwrite
 
InputHandler.prev_char - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.prev_char(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.prev_char
 
InputHandler.prev_line - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.prev_line(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.prev_line
 
InputHandler.prev_page - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.prev_page(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.prev_page
 
InputHandler.prev_word - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.prev_word(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.prev_word
 
InputHandler.repeat - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.repeat() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.repeat
 
InputHandler.select_all - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.select_all() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.select_all
 
InputHandler.toggle_rect - Class in edu.utep.cs.jet.gui.editor.syn
 
InputHandler.toggle_rect() - Constructor for class edu.utep.cs.jet.gui.editor.syn.InputHandler.toggle_rect
 
InputHandler.Wrapper - Interface in edu.utep.cs.jet.gui.editor.syn
For use by EditAction.Wrapper only.
INSERT_BREAK - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
INSERT_CHAR - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
INSERT_TAB - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
insertLines(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
Informs the token marker that lines have been inserted into the document.
interfaceGenerator - Variable in class edu.utep.cs.jet.rat.gen.SimpleValueGenerator
Interface value generator.
INTERNAL_FIRST - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
The first id that can be used for internal state in a token marker.
INTERNAL_LAST - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
The last id that can be used for internal state in a token marker.
IntValue - Class in edu.utep.cs.jet.rat.val
A class to represent a int value.
IntValue(int) - Constructor for class edu.utep.cs.jet.rat.val.IntValue
Creates a new instance representing the given int value.
INVALID - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Invalid token id.
invalidateLine(int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Marks a line as needing a repaint.
invalidateLineRange(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Marks a range of lines as needing a repaint.
invalidateSelectedLines() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Repaints the lines containing the selection.
invokeAndWait(Runnable) - Static method in class edu.utep.cs.jet.gui.Util
Runs the given job in a thread-safe way.
invokeLater(Runnable) - Static method in class edu.utep.cs.jet.gui.Util
Runs the given job in a thread-safe way.
isBlockCaretEnabled() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns true if the caret should be drawn as a block, false otherwise.
isBold() - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Returns true if boldface is enabled for this style.
isBracketHighlightEnabled() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns true if bracket highlighting is enabled, false otherwise.
isCaretBlinkEnabled() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns true if the caret is blinking, false otherwise.
isCaretVisible() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns true if the caret is visible, false otherwise.
isClassFile(File) - Static method in class edu.utep.cs.jet.gui.Util
Returns true if the given file is a Java class file.
isClassFile(String) - Static method in class edu.utep.cs.jet.gui.Util
Returns true if the given name ends with .class.
isConstructor() - Method in interface edu.utep.cs.jet.rat.MethodWrapper
Returns true if the wrapped is a Java constructor.
isDirty() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Returns true if there exist any unsaved edits.
isDirty() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Returns true if there exist any unsaved edits.
isEditable() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns true if this text area is editable, false otherwise.
isEquivalentTo(Denotable) - Method in interface edu.utep.cs.jet.rat.Denotable
Returns true if the represented value is equivalent to the argument's represented value.
isEquivalentTo(TestCase) - Method in class edu.utep.cs.jet.rat.TestCase
Returns true if this is equivalent to the given test case.
isEquivalentTo(Denotable) - Method in class edu.utep.cs.jet.rat.val.CompositeValue
Returns true if the represented value is equivalent to the argument's represented value.
isEquivalentTo(Denotable) - Method in class edu.utep.cs.jet.rat.val.ConstructorCall
Returns true if the represented value is equivalent to the argument's represented value.
isEquivalentTo(Denotable) - Method in class edu.utep.cs.jet.rat.val.MethodCall
Returns true if the represented value is equivalent to the argument's represented value.
isEquivalentTo(Denotable) - Method in class edu.utep.cs.jet.rat.val.NullValue
Returns true if the represented value is equal (==) to the argument's represented value.
isEquivalentTo(Denotable) - Method in class edu.utep.cs.jet.rat.val.PrimitiveValue
Returns true if the represented value is equal (==) to the argument's represented value.
isInString(String, String) - Static method in class edu.utep.cs.jet.gui.tester.Parser
Method that checks if the method signature generated from the Member attribute is a substring of a code's line .
isItalic() - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Returns true if italics is enabled for this style.
isJavaFile(String) - Static method in class edu.utep.cs.jet.gui.Util
Returns true if the argument names a Java source file.
isJavaFile(File) - Static method in class edu.utep.cs.jet.gui.Util
Returns true if the given file is a Java source file.
isLineHighlightEnabled() - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Returns true if line highlight is enabled, false otherwise.
isNextLineRequested() - Method in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
Returns true if the next line should be repainted.
isNull() - Method in interface edu.utep.cs.jet.rat.Denotable
Returns true if this value represents null.
isNull() - Method in class edu.utep.cs.jet.rat.val.CompositeValue
Returns true if this value represents null.
isNull() - Method in class edu.utep.cs.jet.rat.val.NullValue
Returns true if this value represents null.
isNull() - Method in class edu.utep.cs.jet.rat.val.PrimitiveValue
Returns true if this value represents null.
isObjectPooling() - Method in interface edu.utep.cs.jet.rat.Context
Returns true if object pooling should be enabled.
isOverwriteEnabled() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns true if overwrite mode is enabled, false otherwise.
isPlain() - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Returns true if no font styles are enabled.
isRedundancyChecked() - Static method in class edu.utep.cs.jet.gui.tester.Preference
Returns true iff testcase redundancy is checked.
isRedundancyChecked() - Method in interface edu.utep.cs.jet.rat.Context
Returns true if the redundancy of generated test cases has to be checked.
isRepeatEnabled() - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Returns if repeating is enabled.
isSelectionRectangular() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Returns true if the selection is rectangular, false otherwise.
isStopRequested() - Method in interface edu.utep.cs.jet.rat.Context
Returns true if testing should terminate immediately.
isTestObjectPooling() - Static method in class edu.utep.cs.jet.gui.tester.Preference
Returns true iff the test object pooling is enabled.

J

JAVA - Static variable in interface edu.utep.cs.jet.gui.Constants
 
JAVA_EXTENSION - Static variable in interface edu.utep.cs.jet.gui.Constants
The extension of Java source files.
JAVAC - Static variable in interface edu.utep.cs.jet.gui.Constants
 
JavaTokenMarker - Class in edu.utep.cs.jet.gui.editor.syn
Java token marker.
JavaTokenMarker() - Constructor for class edu.utep.cs.jet.gui.editor.syn.JavaTokenMarker
 
JEditTextArea - Class in edu.utep.cs.jet.gui.editor.syn
jEdit's text area component.
JEditTextArea() - Constructor for class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Creates a new JEditTextArea with the default settings.
JEditTextArea(TextAreaDefaults) - Constructor for class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Creates a new JEditTextArea with the specified settings.
JML_COMMENT - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
JML_LINE_COMMENT - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
JUNIT_SWINGGUI_TESTRUNNER - Static variable in interface edu.utep.cs.jet.gui.Constants
 
JUnitExporter - Class in edu.utep.cs.jet.gui.tester
A utility class to export generated test cases as JUnit tests.
JUnitExporter(List<EtMethod>, File) - Constructor for class edu.utep.cs.jet.gui.tester.JUnitExporter
Creates a JUnit exporter to export all the test cases of the given method to the given file.
JUnitExporter(EtTestCase[], File) - Constructor for class edu.utep.cs.jet.gui.tester.JUnitExporter
Creates a JUnit exporter to export the given set of test cases of the given method to the given file.

K

keyPressed(KeyEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.DefaultInputHandler
Handle a key pressed event.
keyTyped(KeyEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.DefaultInputHandler
Handle a key typed event.
KEYWORD1 - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Keyword 1 token id.
KEYWORD2 - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Keyword 2 token id.
KEYWORD3 - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Keyword 3 token id.
KeywordMap - Class in edu.utep.cs.jet.gui.editor.syn
A KeywordMap is similar to a hashtable in that it maps keys to values.
KeywordMap(boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.KeywordMap
Creates a new KeywordMap.
KeywordMap(boolean, int) - Constructor for class edu.utep.cs.jet.gui.editor.syn.KeywordMap
Creates a new KeywordMap.

L

LABEL - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Label token id.
lastLine - Variable in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
The last tokenized line.
lastToken - Variable in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
The last token in the list.
LEFT_OF_SCROLLBAR - Static variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Adding components with this name to the text area will place them left of the horizontal scroll bar.
length - Variable in class edu.utep.cs.jet.gui.editor.syn.Token
The length of this token.
length - Variable in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
The number of lines in the model being tokenized.
lineChanged(int, int) - Method in interface edu.utep.cs.jet.gui.editor.LineChangeListener
Called when the line or column number was changed.
LineChangeListener - Interface in edu.utep.cs.jet.gui.editor
A listener interface to notify the changes of line and column numbers of the document being edited by the editor.
lineHighlight - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
lineHighlight - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
lineHighlightColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
lineHighlightColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
lineInfo - Variable in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
An array for storing information about lines.
LineNumberedEditor - Class in edu.utep.cs.jet.gui.editor
An editor that displays the line numbers.
LineNumberedEditor() - Constructor for class edu.utep.cs.jet.gui.editor.LineNumberedEditor
Creates a new instance.
LineNumberedEditor.LineNumberPane - Class in edu.utep.cs.jet.gui.editor
A special panel attached to a text pane to display the line numbers.
LineNumberedEditor.LineNumberPane(DefaultStyledDocument) - Constructor for class edu.utep.cs.jet.gui.editor.LineNumberedEditor.LineNumberPane
Creates a line-numbered text pane to edit the given document.
lineSegment - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
lineToY(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Converts a line index to a y co-ordinate.
listenerList - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
LITERAL1 - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Literal 1 token id.
LITERAL2 - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Literal 2 token id.
loadClass(File) - Method in class edu.utep.cs.jet.gui.tester.FileClassLoader
Loads the given bytecode file and returns the loaded class.
loadClassData(DataInputStream) - Method in class edu.utep.cs.jet.gui.AbstractClassLoader
Reads bytes from the given data input stream.
loadFile(File) - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Loads the given class file for testing and returns true if the file was loaded successfuly.
loadFile(File) - Method in interface edu.utep.cs.jet.gui.tester.Tester
Loads the given class file file to this tester, and returns true if the file was successfully opened.
locateFile(String) - Method in class edu.utep.cs.jet.gui.FileActionFactory
Given a relative path name, finds the file.
LongValue - Class in edu.utep.cs.jet.rat.val
A class to represent a long value.
LongValue(long) - Constructor for class edu.utep.cs.jet.rat.val.LongValue
Creates a new instance representing the given long value.
lookup(Segment, int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.KeywordMap
Looks up a key.

M

magicCaret - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
Main - Class in edu.utep.cs.jet.gui
A graphics user interface to the JML-based unit testing tool for Java.
Main(String) - Constructor for class edu.utep.cs.jet.gui.Main
Creates a new instance.
main(String[]) - Static method in class edu.utep.cs.jet.gui.Main
The main entry point of this GUI.
main(String[]) - Static method in class edu.utep.cs.jet.rat.gen.AllTestSuite
Runs the tests.
main(String[]) - Static method in class edu.utep.cs.jet.rat.val.AllTestSuite
Runs the tests.
Mainable - Interface in edu.utep.cs.jet.gui
An interface to the main tool.
MainableActions - Class in edu.utep.cs.jet.gui
Creates an object that contains Mainable from a directory tree Used for double click
MainableActions(Mainable) - Constructor for class edu.utep.cs.jet.gui.MainableActions
Main constructor of MainableActions
makeScrollable(JComponent) - Static method in class edu.utep.cs.jet.gui.Util
Adds to the given component horizontal and vertical scroll bars.
mapLength - Variable in class edu.utep.cs.jet.gui.editor.syn.KeywordMap
 
mARG() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mARGS() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
markTokens(Segment, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
A wrapper for the lower-level markTokensImpl method that is called to split a line up into tokens.
markTokensImpl(byte, Segment, int) - Method in class edu.utep.cs.jet.gui.editor.syn.CTokenMarker
 
markTokensImpl(byte, Segment, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
An abstract method that splits a line up into tokens.
mCALL() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mCHAR() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mCLASS() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
meaninglessTestCase(TestCase) - Method in interface edu.utep.cs.jet.rat.TestCaseGenerationListener
Invoked when a meaningless test case is generated.
memoize(IntStream, int, int) - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
MenuFactory - Class in edu.utep.cs.jet.gui
A class to create various menus such as file menu, edit menu, tool menu, option menu, view menu, and help menu.
MenuFactory(FileActionFactory, ToolActionFactory, EditActionFactory, WorkingPane) - Constructor for class edu.utep.cs.jet.gui.MenuFactory
Creates a new instance that creates various menus by using the given action factory.
mESC() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
METHOD - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
MethodCall - Class in edu.utep.cs.jet.rat.val
A class to represent a method call.
MethodCall(Class<?>, Method, Denotable, Denotable[]) - Constructor for class edu.utep.cs.jet.rat.val.MethodCall
Creates a new instance with the given constructor and arguments.
MethodWrapper - Interface in edu.utep.cs.jet.rat
An interface to wrap a Java method or constructor.
mEVERYTHING_ELSE() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mID() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mIMPORT() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mJML_COMMENT() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mJML_LINE_COMMENT() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mMETHOD() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mMODIFIER() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mMODIFIERS() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
MODIFIER - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
MODIFIERS - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mQID() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mQIDStar() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mRETURN() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mSTAT() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mSTRING() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mTokens() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mTYPE() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
mutate(Denotable, double, boolean, int) - Method in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Mutates the given value by calling a sequence of mutators.
mutate(Denotable, double, boolean, int) - Method in class edu.utep.cs.jet.rat.gen.IncrementalClassValueGenerator
Mutates the given value by calling a sequence of mutators.
mutator(String) - Method in class edu.utep.cs.jet.rat.gen.AllTestSuite.MutatorWithAnotherClass
 
MUTATOR - Static variable in interface edu.utep.cs.jet.rat.MethodWrapper
A mutator is an instance method that may modify the object.
mutators - Variable in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Mutators of the class under test.
mWS() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 

N

newDocument() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Creates a new empty document and returns true if the creation was successful.
newDocument() - Method in interface edu.utep.cs.jet.gui.editor.Editor
Creates a new empty document and returns true if the creation was successful.
NEWLINE - Static variable in interface edu.utep.cs.jet.gui.Constants
The system-dependent newline character.
next - Variable in class edu.utep.cs.jet.gui.editor.syn.Token
The next token in the linked list.
NEXT_CHAR - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
NEXT_LINE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
NEXT_PAGE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
NEXT_WORD - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
nextLineRequested - Variable in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
True if the next line should be painted.
nextTabStop(float, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Implementation of TabExpander interface.
nextToken() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
notifyFailure(TestCase, String) - Method in class edu.utep.cs.jet.rat.TestCaseGenerator
Notifies a failure test case generation to the listeners.
notifyMeaningless(TestCase) - Method in class edu.utep.cs.jet.rat.TestCaseGenerator
Notifies a meaningless test case generation to the listeners.
notifyRedundant(TestCase) - Method in class edu.utep.cs.jet.rat.TestCaseGenerator
Notifies a duplicate test case generation to the listeners.
notifySuccess(TestCase) - Method in class edu.utep.cs.jet.rat.TestCaseGenerator
Notifies a success test case generation to the listeners.
NULL - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Normal text token id.
NullValue - Class in edu.utep.cs.jet.rat.val
A class to represent the null value.
NullValue(Class<?>) - Constructor for class edu.utep.cs.jet.rat.val.NullValue
Creates a new instance representing the null value of the given type.

O

obj - Variable in class edu.utep.cs.jet.gui.editor.syn.TokenMarker.LineInfo
This is for use by the token marker implementations themselves.
OBSERVER - Static variable in interface edu.utep.cs.jet.rat.MethodWrapper
All other methods that are not mutators are observers.
offsetToX(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Converts an offset in a line into an x co-ordinate.
openFile(File) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Opens the given file file using this editor, and returns true if the file was successfully opened.
openFile(File) - Method in interface edu.utep.cs.jet.gui.editor.Editor
Opens the given file file using this editor, and returns true if the file was successfully opened.
OPERATOR - Static variable in class edu.utep.cs.jet.gui.editor.syn.Token
Operator token id.
OPTION_MENU_NAME - Static variable in interface edu.utep.cs.jet.gui.Constants
The name of option menu.
OptionDialog - Class in edu.utep.cs.jet.gui
A dialog class to set various tool options.
OptionDialog(Frame, String, WorkingPane, OptionPanel...) - Constructor for class edu.utep.cs.jet.gui.OptionDialog
Creates a new instance.
OptionPanel - Interface in edu.utep.cs.jet.gui
The interface to the various option panels that composes the option dialog.
Options - Class in edu.utep.cs.jet.gui.editor
An option panel to set various editor options.
Options(DefaultEditor) - Constructor for class edu.utep.cs.jet.gui.editor.Options
Creates a new instance.
Options - Class in edu.utep.cs.jet.gui.tester
An option panel to set various tester options.
Options(DefaultTester) - Constructor for class edu.utep.cs.jet.gui.tester.Options
Creates a new instance.
outputer() - Method in class edu.utep.cs.jet.gui.Main
Returns the outputer of this GUI.
outputer() - Method in interface edu.utep.cs.jet.gui.Mainable
Returns the outputer of this GUI.
Outputer - Interface in edu.utep.cs.jet.gui.output
An interface to the output console.
outputStream() - Method in class edu.utep.cs.jet.gui.output.DefaultOutputer
Returns an output stream view of the output text area.
outputStream() - Method in interface edu.utep.cs.jet.gui.output.Outputer
Returns an output stream view of this output console.
OutputTextArea - Class in edu.utep.cs.jet.gui
A special text area that can display text messages and recognize error messages produced by external Java and JML tools, such as javac and jmlc.
OutputTextArea() - Constructor for class edu.utep.cs.jet.gui.OutputTextArea
Creates a new instance.
OutputTextArea(int, int) - Constructor for class edu.utep.cs.jet.gui.OutputTextArea
Creates a new instance with the given numbers of rows and columns.
OVERWRITE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
overwrite - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
overwriteSetSelectedText(String) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Similar to setSelectedText(), but overstrikes the appropriate number of characters if overwrite mode is enabled.

P

paint(Graphics) - Method in class edu.utep.cs.jet.gui.editor.LineNumberedEditor.LineNumberPane
Paints the line numbers in sync with the text of the associated text pane.
paint(Graphics) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Repaints the text.
paintBracketHighlight(Graphics, int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
paintCaret(Graphics, int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
painter - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
paintHighlight(Graphics, int, int) - Method in interface edu.utep.cs.jet.gui.editor.syn.TextAreaPainter.Highlight
This should paint the highlight and delgate to the next highlight painter.
paintHighlight(Graphics, int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
paintInvalid - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
paintInvalid - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
paintLine(Graphics, TokenMarker, int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
paintLineHighlight(Graphics, int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
paintPlainLine(Graphics, int, Font, Color, int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
paintSyntaxLine(Segment, Token, SyntaxStyle[], TabExpander, Graphics, int, int) - Static method in class edu.utep.cs.jet.gui.editor.syn.SyntaxUtilities
Paints the specified line onto the graphics context.
paintSyntaxLine(Graphics, TokenMarker, int, Font, Color, int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
parseErrorMessage(Point) - Method in class edu.utep.cs.jet.gui.OutputTextArea
Checks if an error message is found at the given position, and, if so, hightlight the corresponding line of the source code.
parseInt(String, String) - Static method in class edu.utep.cs.jet.gui.Preference
Parses the given string for an integer value.
parseKeyStroke(String) - Static method in class edu.utep.cs.jet.gui.editor.syn.DefaultInputHandler
Converts a string to a keystroke.
parseNonNegativeInt(String, String) - Static method in class edu.utep.cs.jet.gui.Preference
Parses the given string for a non-negative integer value.
parsePositiveInt(String, String) - Static method in class edu.utep.cs.jet.gui.Preference
Parses the given string for a positive integer value.
Parser - Class in edu.utep.cs.jet.gui.tester
This class separates the JML requirements from the whole code.
Parser(File) - Constructor for class edu.utep.cs.jet.gui.tester.Parser
Constructor that receives the current file displayed in the editor, and a document.
paste() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Inserts the clipboard contents into the text.
popup - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
popup - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
Preference - Class in edu.utep.cs.jet.gui.editor
A utility class to store various user options for the editor.
Preference() - Constructor for class edu.utep.cs.jet.gui.editor.Preference
 
Preference - Class in edu.utep.cs.jet.gui
 
Preference() - Constructor for class edu.utep.cs.jet.gui.Preference
 
Preference - Class in edu.utep.cs.jet.gui.tester
A utility class to store various user options for the tester.
Preference() - Constructor for class edu.utep.cs.jet.gui.tester.Preference
 
PREV_CHAR - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
PREV_LINE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
PREV_PAGE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
PREV_WORD - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
PrimitiveValue - Class in edu.utep.cs.jet.rat.val
An abstract class to denote various primitive values.
PrimitiveValue(Object) - Constructor for class edu.utep.cs.jet.rat.val.PrimitiveValue
Creates a new value containing the given (wrapper) object, value.
println(String) - Method in class edu.utep.cs.jet.gui.output.DefaultOutputer
Appends the given message msg to this output area.
println(String) - Method in interface edu.utep.cs.jet.gui.output.Outputer
Appends the given message msg to this output area.
printWriter() - Static method in class edu.utep.cs.jet.gui.Main
Returns a print writer that prints messages to the console.
processKeyEvent(KeyEvent) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Forwards key events directly to the input handler.

Q

QID - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
QIDStar - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 

R

recalculateVisibleLines() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Recalculates the number of visible lines.
receiver() - Method in class edu.utep.cs.jet.rat.TestCase
Returns the receiver.
recorder - Variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
rectSelect - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
redundantTestCase(TestCase) - Method in interface edu.utep.cs.jet.rat.TestCaseGenerationListener
Invoked when a redundant test case is generated.
refreshSelected() - Method in class edu.utep.cs.jet.gui.explorer.DefaultExplorer
Refreshes the currently selected node.
refreshSelected() - Method in interface edu.utep.cs.jet.gui.explorer.Explorer
Refreshes the currently selected node.
refreshSelectedParent() - Method in class edu.utep.cs.jet.gui.explorer.DefaultExplorer
Refreshes the parent of currently selected node.
refreshSelectedParent() - Method in interface edu.utep.cs.jet.gui.explorer.Explorer
Refreshes the parent of currently selected node.
regionMatches(boolean, Segment, int, String) - Static method in class edu.utep.cs.jet.gui.editor.syn.SyntaxUtilities
Checks if a subregion of a Segment is equal to a string.
regionMatches(boolean, Segment, int, char[]) - Static method in class edu.utep.cs.jet.gui.editor.syn.SyntaxUtilities
Checks if a subregion of a Segment is equal to a character array.
removeAllKeyBindings() - Method in class edu.utep.cs.jet.gui.editor.syn.DefaultInputHandler
Removes all key bindings from this input handler.
removeAllKeyBindings() - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Removes all key bindings from this input handler.
removeCaretListener(CaretListener) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Removes a caret change listener from this text area.
removeHighlights() - Method in class edu.utep.cs.jet.gui.OutputTextArea
Removes only our private highlights.
removeKeyBinding(String) - Method in class edu.utep.cs.jet.gui.editor.syn.DefaultInputHandler
Removes a key binding from this input handler.
removeKeyBinding(String) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Removes a key binding from this input handler.
removeNotify() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Called by the AWT when this component is removed from it's parent.
removeTestCaseGenerationListener(TestCaseGenerationListener) - Method in class edu.utep.cs.jet.rat.TestCaseGenerator
Removes the given observer from the list of listeners.
REPEAT - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
repeat - Variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
repeatCount - Variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
reset(Class<?>, Context) - Method in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Reconfigures this object to be able to create an object of the given type in the given testing context.
reset(Class<?>, Context) - Method in class edu.utep.cs.jet.rat.gen.IncrementalClassValueGenerator
Reconfigures this object to be able to create an object of the given type in the given testing context.
reset(Context) - Method in class edu.utep.cs.jet.rat.TestCaseGenerator
Resets this object to generate test cases under the given testing context.
RETURN - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
returnMainable() - Method in class edu.utep.cs.jet.gui.MainableActions
Returns Mainable
RIGHT - Static variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
rows - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
rows - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
run(Runnable) - Static method in class edu.utep.cs.jet.gui.Util
Runs the given job in a new thread.
run(Member, TestCase) - Method in class edu.utep.cs.jet.rat.TestRunner
Runs the given method or constructor with the given test case and returns the test result.

S

saveFile(File) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Saves the document of this editor to the given file file, and returns true if it was successfully saved.
saveFile(File) - Method in interface edu.utep.cs.jet.gui.editor.Editor
Saves the document of this editor to the given file file, and returns true if it was successfully saved.
saveIfModified() - Method in class edu.utep.cs.jet.gui.FileActionFactory
Saves the contents of the editor buffer only if there are unsaved changes.
scrollBarsInitialized - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
scrollPane() - Method in class edu.utep.cs.jet.gui.editor.LineNumberedEditor.LineNumberPane
Returns the scrollable text pane associated with this pane.
scrollTo(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Ensures that the specified line and offset is visible by scrolling the text area if necessary.
scrollToCaret() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Ensures that the caret is visible by scrolling the text area if necessary.
select(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Selects from the start offset to the end offset.
SELECT_ALL - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_DOC_END - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_DOC_HOME - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_END - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_HOME - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_NEXT_CHAR - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_NEXT_LINE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_NEXT_PAGE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_NEXT_WORD - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_PREV_CHAR - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_PREV_LINE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_PREV_PAGE - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
SELECT_PREV_WORD - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
selectAll() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Selects all text in the document.
selectionColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
selectionColor - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
selectionEnd - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
selectionEndLine - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
selectionStart - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
selectionStartLine - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
selectNone() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Moves the mark to the caret position.
setBackground(String) - Static method in class edu.utep.cs.jet.gui.Preference
Sets the background user image
setBanner(String) - Static method in class edu.utep.cs.jet.gui.Preference
Sets the user selected banner
setBlockCaretEnabled(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets if the caret should be drawn as a block, false otherwise.
setBracketHighlightColor(Color) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets the bracket highlight color.
setBracketHighlightEnabled(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Enables or disables bracket highlighting.
setCaretBlinkEnabled(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Toggles caret blinking.
setCaretColor(Color) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets the caret color.
setCaretPosition(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the caret position.
setCaretVisible(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets if the caret should be visible.
setColor(Color) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Sets the color for this style.
setCurrentFile(File) - Method in class edu.utep.cs.jet.gui.FileActionFactory
Sets the given file to be the current file being edited.
setCurrentFile(File) - Method in class edu.utep.cs.jet.gui.ToolActionFactory
Sets the given file to be the current file being edited.
setDocument(SyntaxDocument) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the document this text area is editing.
setDropTarget(DropTarget) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Associate a DropTarget with this editor so that the editor receives drops.
setDropTarget(DropTarget) - Method in interface edu.utep.cs.jet.gui.editor.Editor
Associates a DropTarget with this editor so that the editor receives drops.
setDropTarget(DropTarget) - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Associates a drop target with this tester so that its method names subpane accepts drops of class files.
setDropTarget(DropTarget) - Method in interface edu.utep.cs.jet.gui.tester.Tester
Associates a drop target with this tester so that it accepts drops of class files.
setEditable(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets if this component is editable.
setEditorBackground(Color) - Static method in class edu.utep.cs.jet.gui.editor.Preference
Returns the editor's background color.
setEditorFontName(String) - Static method in class edu.utep.cs.jet.gui.editor.Preference
Sets the font to be used by the editor.
setEditorFontSize(String) - Static method in class edu.utep.cs.jet.gui.editor.Preference
Sets the editor's font size.
setEditorForeground(Color) - Static method in class edu.utep.cs.jet.gui.editor.Preference
Returns the editor's foreground color.
setEditorStyles(SyntaxStyle[]) - Static method in class edu.utep.cs.jet.gui.editor.Preference
Returns the editor's style.
setEditorTabSize(String) - Static method in class edu.utep.cs.jet.gui.editor.Preference
Sets the maximum size of the object pool.
setElectricScroll(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the number of lines from the top and bottom of the text area that are always visible
setEOLMarkerColor(Color) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets the EOL marker color.
setEOLMarkersPainted(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets if EOL markers are to be drawn.
setFirstLine(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the line displayed at the text area's origin without updating the scroll bars.
setFont(Font) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets the font for this component.
setGraphicsFlags(Graphics, Font) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Sets the foreground color and font of the specified graphics context to that specified in this style.
setHideViewAction(AbstractAction) - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Given the action that hides this editor's view, provides an appropriate user interface for it, such as a popup menu.
setHideViewAction(AbstractAction) - Method in interface edu.utep.cs.jet.gui.editor.Editor
Given the action that hides this editor's view, provides an appropriate user interface for it, such as a popup menu.
setHideViewAction(AbstractAction) - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Given the action that hide this editor's view, provides an appropriate user interface for it, such as a popup menu.
setHideViewAction(AbstractAction) - Method in interface edu.utep.cs.jet.gui.tester.Tester
Given the action that closes this editor's view, provides an appropriate user interface for it, such as a popup menu.
setHorizontalOffset(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the horizontal offset of drawn lines.
setIgnoreCase(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.KeywordMap
Sets if the keyword map should be case insensitive.
setInputHandler(InputHandler) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the input handler.
setInvalidLinesPainted(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets if invalid lines are to be painted as red tildes.
setJava(String) - Static method in class edu.utep.cs.jet.gui.Preference
Sets the Java interpreter.
setJavaCompiler(String) - Static method in class edu.utep.cs.jet.gui.Preference
Sets the Java compiler.
setLineHighlightColor(Color) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets the line highlight color.
setLineHighlightEnabled(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Enables or disables current line highlighting.
setMacroRecorder(InputHandler.MacroRecorder) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Sets the macro recorder.
setMagicCaretPosition(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the `magic' caret position.
setMaxLineNumber(int) - Method in class edu.utep.cs.jet.gui.editor.GotoDialog
Sets the maximum line numer.
SetNativeLookAndFeel() - Static method in class edu.utep.cs.jet.gui.WindowLookAndFeel
Sets the look and feel to look like the operating system that the user is running
setOrigin(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
A fast way of changing both the first line and horizontal offset.
setOverwriteEnabled(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets if overwrite mode should be enabled.
setPopupOptions() - Method in class edu.utep.cs.jet.gui.editor.DefaultEditor
Set right click pop-up options.
setRawClasspath(String) - Static method in class edu.utep.cs.jet.gui.Preference
Sets the raw classpath.
setRedundancyChecked(boolean) - Static method in class edu.utep.cs.jet.gui.tester.Preference
Enables or disables the testcase redundancy check.
setRepeatCount(int) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Sets the number of times the next action will be repeated.
setRepeatEnabled(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.InputHandler
Enables repeating.
setRightClickPopup(JPopupMenu) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the right click popup menu.
setRoot(File) - Method in class edu.utep.cs.jet.gui.explorer.DefaultExplorer
Sets the root of the directory browser.
setRoot(File) - Method in interface edu.utep.cs.jet.gui.explorer.Explorer
Sets the root of the directory browser.
setRoot(String) - Static method in class edu.utep.cs.jet.gui.Preference
Sets the explorer root directory.
setSelectedText(String) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Replaces the selection with the specified text.
setSelectionColor(Color) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets the selection color.
setSelectionEnd(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the selection end.
setSelectionRectangular(boolean) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets if the selection should be rectangular.
setSelectionStart(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the selection start.
setSize(JComponent, int, int) - Static method in class edu.utep.cs.jet.gui.Util
Sets the minimum, maximum, and preferred size of the given component.
setSourceCodeViewer(SourceCodeViewer) - Method in interface edu.utep.cs.jet.gui.output.Outputer
Sets the the source code viewer to locate and highlight the source code lines corresponding to the error messages printed on this outputer.
setSourceCodeViewer(SourceCodeViewer) - Method in class edu.utep.cs.jet.gui.OutputTextArea
Sets the the source code viewer to locate and highlight the source code lines corresponding to the error messages printed on this outputer.
setSourceCodeViewer(SourceCodeViewer) - Method in class edu.utep.cs.jet.gui.tester.DefaultTester
Sets the the source code viewer to locate and highlight the source code lines corresponding to the error messages obtained from the test case generation tool.
setSourceCodeViewer(SourceCodeViewer) - Method in interface edu.utep.cs.jet.gui.tester.Tester
Sets the the source code viewer to locate and highlight the source code lines corresponding to the error messages obtained from the test case generation tool.
setStyles(SyntaxStyle[]) - Method in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Sets the syntax styles used to paint colorized text.
setTabSize(int) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
Sets the tab size of this document.
setTestAttempts(String) - Static method in class edu.utep.cs.jet.gui.tester.Preference
Sets the number of test attempts.
setTestImplClasses(String) - Static method in class edu.utep.cs.jet.gui.tester.Preference
Sets the implementation classes for interfaces.
setTestIncAttempts(String) - Static method in class edu.utep.cs.jet.gui.tester.Preference
Sets the number of incremental test attempts.
setTestMaxHeight(String) - Static method in class edu.utep.cs.jet.gui.tester.Preference
Sets the maximum height of objects.
setTestObjectPooling(boolean) - Static method in class edu.utep.cs.jet.gui.tester.Preference
Enables or disables the test object pooling.
setTestObjectPoolSize(String) - Static method in class edu.utep.cs.jet.gui.tester.Preference
Sets the maximum size of the object pool.
setTestStrategy(String) - Static method in class edu.utep.cs.jet.gui.tester.Preference
Sets the test strategy.
setText(String) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the entire text of this text area.
setTheme(String) - Static method in class edu.utep.cs.jet.gui.Preference
Sets the user theme
setTokenMarker(TokenMarker) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Sets the document's token marker.
setTokenMarker(TokenMarker) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
Sets the token marker that is to be used to split lines of this document up into tokens.
ShortValue - Class in edu.utep.cs.jet.rat.val
A class to represent a short value.
ShortValue(short) - Constructor for class edu.utep.cs.jet.rat.val.ShortValue
Creates a new instance representing the given short value.
simpleMutate(Denotable, int) - Method in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
Mutates the given value by calling one of its mutator methods.
SimpleValueFactory - Class in edu.utep.cs.jet.rat.val
A concrete factory class to create various kinds of values.
SimpleValueFactory() - Constructor for class edu.utep.cs.jet.rat.val.SimpleValueFactory
Creates a concrete factory object.
SimpleValueGenerator - Class in edu.utep.cs.jet.rat.gen
A class to generate various types of values randomly.
SimpleValueGenerator(ValueFactory) - Constructor for class edu.utep.cs.jet.rat.gen.SimpleValueGenerator
Creates a new instance to generate a value by using the given value factory.
SMART_HOME_END_PROPERTY - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
If this client property is set to Boolean.TRUE on the text area, the home/end keys will support 'smart' BRIEF-like behaviour (one press = start/end of line, two presses = start/end of viewscreen, three presses = start/end of document).
SourceCodeViewer - Interface in edu.utep.cs.jet.gui
An interface used by the outputer and the tester to locate and hightlight the source code line corresponding to an error message.
specification(Member) - Static method in class edu.utep.cs.jet.gui.tester.Parser
This method is called whenever is necessary to separate the JML requirements from the source code.
STAT - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
STRING - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
StringValue - Class in edu.utep.cs.jet.rat.val
A class to represent a String value.
StringValue(String) - Constructor for class edu.utep.cs.jet.rat.val.StringValue
Creates a new instance representing the given String value.
styles - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
styles - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
successTestCase(TestCase) - Method in interface edu.utep.cs.jet.rat.TestCaseGenerationListener
Invoked when a success test case is generated.
suite() - Static method in class edu.utep.cs.jet.rat.gen.AllTestSuite
Returns the test suite for this test class.
suite() - Static method in class edu.utep.cs.jet.rat.val.AllTestSuite
Returns the test suite for this test class.
supportsMultilineTokens() - Method in class edu.utep.cs.jet.gui.editor.syn.TokenMarker
Returns if the token marker supports tokens that span multiple lines.
synpred1() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred1_fragment() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred2() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred2_fragment() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred3() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred3_fragment() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred4() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred4_fragment() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred5() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred5_fragment() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred6() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred6_fragment() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred7() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred7_fragment() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred8() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred8_fragment() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred9() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
synpred9_fragment() - Method in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
SyntaxDocument - Class in edu.utep.cs.jet.gui.editor.syn
A document implementation that can be tokenized by the syntax highlighting system.
SyntaxDocument() - Constructor for class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
 
SyntaxStyle - Class in edu.utep.cs.jet.gui.editor.syn
A simple text style class.
SyntaxStyle(Color, boolean, boolean) - Constructor for class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Creates a new SyntaxStyle.
SyntaxUtilities - Class in edu.utep.cs.jet.gui.editor.syn
Class with several utility functions used by jEdit's syntax colorizing subsystem.
synthesized(String) - Static method in class edu.utep.cs.jet.gui.Util
Returns true if the given name is synthesized.

T

tabSize - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
test1() - Method in class edu.utep.cs.jet.rat.gen.AllTestSuite
Tests the SimpleValueGenerator class.
test2() - Method in class edu.utep.cs.jet.rat.gen.AllTestSuite
Tests the IncrementalValueGenerator class.
test3() - Method in class edu.utep.cs.jet.rat.gen.AllTestSuite
Tests object generations for a class that has a mutator with an argument of another class.
TEST_FAILURE - Static variable in class edu.utep.cs.jet.rat.TestRunner
Constant denoting a test failure.
TEST_MEANINGLESS - Static variable in class edu.utep.cs.jet.rat.TestRunner
Constant denoting a meaningless test.
TEST_MENU_NAME - Static variable in interface edu.utep.cs.jet.gui.Constants
The name of test menu.
TEST_SUCCESS - Static variable in class edu.utep.cs.jet.rat.TestRunner
Constant denoting a test success.
testArrayValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testBooleanValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testByteValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
TestCase - Class in edu.utep.cs.jet.rat
A class to represent a test case.
TestCase(Denotable, Denotable[]) - Constructor for class edu.utep.cs.jet.rat.TestCase
Creates a new test case consisting of the given receiver and arguments.
TestCaseGenerationListener - Interface in edu.utep.cs.jet.rat
The listener interface for receiving test case generation events.
TestCaseGenerator - Class in edu.utep.cs.jet.rat
An abstract class to define the public interface for test case generation and execution.
TestCaseGenerator() - Constructor for class edu.utep.cs.jet.rat.TestCaseGenerator
Constructs an object for generating test cases.
testcases() - Method in class edu.utep.cs.jet.rat.TestCaseGenerator
Returns an iterator that iterates over the generated test cases.
testCharValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testConstructorCall() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testDoubleValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
tester() - Method in class edu.utep.cs.jet.gui.Main
Returns the tester of this GUI.
tester() - Method in interface edu.utep.cs.jet.gui.Mainable
Returns the tester of this GUI.
Tester - Interface in edu.utep.cs.jet.gui.tester
An interface to the built-in tester that can load a bytecode file to perfrom unit testing.
testFloatValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testIntValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testIsEquivalentTo1() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testIsEquivalentTo2() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testIsEquivalentTo3() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testIsEquivalentTo4() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testIsEquivalentTo5() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testIsEquivalentTo6() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testLongValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testMethodCall() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testNullValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
TestRunner - Class in edu.utep.cs.jet.rat
A class to execute test cases and determine test results.
TestRunner() - Constructor for class edu.utep.cs.jet.rat.TestRunner
 
testShortValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testSimpleValueFactory() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
testStringValue() - Method in class edu.utep.cs.jet.rat.val.AllTestSuite
 
textArea - Variable in class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
 
TextAreaDefaults - Class in edu.utep.cs.jet.gui.editor.syn
Encapsulates default settings for a text area.
TextAreaDefaults() - Constructor for class edu.utep.cs.jet.gui.editor.syn.TextAreaDefaults
 
TextAreaPainter - Class in edu.utep.cs.jet.gui.editor.syn
The text area repaint manager.
TextAreaPainter(JEditTextArea, TextAreaDefaults) - Constructor for class edu.utep.cs.jet.gui.editor.syn.TextAreaPainter
Creates a new repaint manager.
TextAreaPainter.Highlight - Interface in edu.utep.cs.jet.gui.editor.syn
Highlight interface.
textPane() - Method in class edu.utep.cs.jet.gui.editor.LineNumberedEditor.LineNumberPane
Returns the text pane associated with this pane.
TextUtilities - Class in edu.utep.cs.jet.gui.editor.syn
Class with several utility functions used by the text area component.
TextUtilities() - Constructor for class edu.utep.cs.jet.gui.editor.syn.TextUtilities
 
TITLE - Static variable in interface edu.utep.cs.jet.gui.Constants
Title to be displayed in the frame.
TOGGLE_RECT - Static variable in class edu.utep.cs.jet.gui.editor.syn.InputHandler
 
Token - Class in edu.utep.cs.jet.gui.editor.syn
A linked list of tokens.
Token(int, byte) - Constructor for class edu.utep.cs.jet.gui.editor.syn.Token
Creates a new token.
token - Variable in class edu.utep.cs.jet.gui.editor.syn.TokenMarker.LineInfo
The id of the last token of the line.
tokenizeLines() - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
Reparses the document, by passing all lines to the token marker.
tokenizeLines(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
Reparses the document, by passing the specified lines to the token marker.
tokenMarker - Variable in class edu.utep.cs.jet.gui.editor.syn.SyntaxDocument
 
TokenMarker - Class in edu.utep.cs.jet.gui.editor.syn
A token marker that splits lines of text into tokens.
TokenMarker() - Constructor for class edu.utep.cs.jet.gui.editor.syn.TokenMarker
Creates a new TokenMarker.
TokenMarker.LineInfo - Class in edu.utep.cs.jet.gui.editor.syn
Inner class for storing information about tokenized lines.
TokenMarker.LineInfo() - Constructor for class edu.utep.cs.jet.gui.editor.syn.TokenMarker.LineInfo
Creates a new LineInfo object with token = Token.NULL and obj = null.
TokenMarker.LineInfo(byte, Object) - Constructor for class edu.utep.cs.jet.gui.editor.syn.TokenMarker.LineInfo
Creates a new LineInfo object with the specified parameters.
Tokens - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
TOOL_MENU_NAME - Static variable in interface edu.utep.cs.jet.gui.Constants
The name of tool menu.
ToolActionFactory - Class in edu.utep.cs.jet.gui
A factory class to create various tool actions such as compile and run.
ToolActionFactory(Mainable, ViewController) - Constructor for class edu.utep.cs.jet.gui.ToolActionFactory
Creates a new instance for the given main program.
toPrintableString(char) - Static method in class edu.utep.cs.jet.rat.val.CharValue
Returns a printable string representation for the given char value.
toString() - Method in class edu.utep.cs.jet.gui.editor.syn.SyntaxStyle
Returns a string representation of this object.
toString() - Method in class edu.utep.cs.jet.gui.editor.syn.Token
Returns a string representation of this token.
toString() - Method in interface edu.utep.cs.jet.rat.Denotable
Returns a string representation of this denotable.
toString() - Method in class edu.utep.cs.jet.rat.TestCase
Returns a string representation of this test case.
toString() - Method in class edu.utep.cs.jet.rat.val.ArrayValue
Returns a string representation of this array.
toString() - Method in class edu.utep.cs.jet.rat.val.ByteValue
 
toString() - Method in class edu.utep.cs.jet.rat.val.CharValue
 
toString() - Method in class edu.utep.cs.jet.rat.val.ConstructorCall
Returns the string representation of this method call.
toString() - Method in class edu.utep.cs.jet.rat.val.DoubleValue
 
toString() - Method in class edu.utep.cs.jet.rat.val.FloatValue
 
toString() - Method in class edu.utep.cs.jet.rat.val.LongValue
 
toString() - Method in class edu.utep.cs.jet.rat.val.MethodCall
Returns the string representation of this method call.
toString() - Method in class edu.utep.cs.jet.rat.val.NullValue
Returns the string "null".
toString() - Method in class edu.utep.cs.jet.rat.val.PrimitiveValue
Returns the string representation of this value.
toString() - Method in class edu.utep.cs.jet.rat.val.ShortValue
 
TYPE - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 
type() - Method in interface edu.utep.cs.jet.rat.Denotable
Returns the type of this denotable.
type - Variable in class edu.utep.cs.jet.rat.gen.ClassValueGenerator
The class of which a value is to be generated.
type() - Method in class edu.utep.cs.jet.rat.val.ArrayValue
Returns the type of this array.
type() - Method in class edu.utep.cs.jet.rat.val.BooleanValue
Return boolean class object.
type() - Method in class edu.utep.cs.jet.rat.val.ByteValue
 
type() - Method in class edu.utep.cs.jet.rat.val.CharValue
 
type() - Method in class edu.utep.cs.jet.rat.val.CompositeValue
Returns the type of this composite value.
type() - Method in class edu.utep.cs.jet.rat.val.DoubleValue
 
type() - Method in class edu.utep.cs.jet.rat.val.FloatValue
 
type() - Method in class edu.utep.cs.jet.rat.val.IntValue
Returns int class object.
type() - Method in class edu.utep.cs.jet.rat.val.LongValue
 
type() - Method in class edu.utep.cs.jet.rat.val.NullValue
Returns the type of this null value.
type() - Method in class edu.utep.cs.jet.rat.val.PrimitiveValue
Returns the type of this value.
type() - Method in class edu.utep.cs.jet.rat.val.ShortValue
 
type() - Method in class edu.utep.cs.jet.rat.val.StringValue
 

U

updateBracketHighlight(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
updatePopupActions(File) - Static method in class edu.utep.cs.jet.gui.FileActionFactory
Enables or Disables the popup actions.
updateScrollBars() - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Updates the state of the scroll bars.
userPrefs - Static variable in class edu.utep.cs.jet.gui.Preference
The user preference node for the package edu.utep.cs.et.gui.
Util - Class in edu.utep.cs.jet.gui
A utility class that provides various static utility methods.

V

value() - Method in interface edu.utep.cs.jet.rat.Denotable
Returns the represented value of this denotable.
value() - Method in class edu.utep.cs.jet.rat.val.ArrayValue
Returns the Java array represented by this array.
value() - Method in class edu.utep.cs.jet.rat.val.ConstructorCall
Evaluates this constructor call and returns the result.
value() - Method in class edu.utep.cs.jet.rat.val.MethodCall
Evaluates this method call and returns the result.
value() - Method in class edu.utep.cs.jet.rat.val.NullValue
Returns the null value.
value - Variable in class edu.utep.cs.jet.rat.val.PrimitiveValue
The value that this object represents.
value() - Method in class edu.utep.cs.jet.rat.val.PrimitiveValue
Returns the contained value.
valueChanged(TreeSelectionEvent) - Method in class edu.utep.cs.jet.gui.HelpContent
Changes the html help display as the user selects different nodes
ValueFactory - Interface in edu.utep.cs.jet.rat
An interface to create various kinds of values.
valueGenerator() - Method in class edu.utep.cs.jet.rat.IncrementalRandomTestCaseGenerator
Returns the value generator.
ValueGenerator - Interface in edu.utep.cs.jet.rat
An interface to generate values of various types.
VarGenerator - Interface in edu.utep.cs.jet.rat.val
An interface to generate unique local variables.
VERSION - Static variable in interface edu.utep.cs.jet.gui.Constants
The version number.
vertical - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 
viewController - Variable in class edu.utep.cs.jet.gui.FileActionFactory
The associated view controller.
visibleLines - Variable in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
 

W

WEB_PAGE_LOCATION - Static variable in interface edu.utep.cs.jet.gui.Constants
The URL address of the web page.
WEB_PAGE_NAME - Static variable in interface edu.utep.cs.jet.gui.Constants
The name of web page.
WINDOW_HEIGHT - Static variable in interface edu.utep.cs.jet.gui.Constants
The initial height of the window.
WINDOW_MIN_HEIGHT - Static variable in interface edu.utep.cs.jet.gui.Constants
The minimum height of the window.
WINDOW_MIN_WIDTH - Static variable in interface edu.utep.cs.jet.gui.Constants
The minimum width of the window.
WINDOW_WIDTH - Static variable in interface edu.utep.cs.jet.gui.Constants
The initial width of the window.
WindowLookAndFeel - Class in edu.utep.cs.jet.gui
This class sets the User Interface to one of three styles, using the user interface manager to set the look and feel.
WindowLookAndFeel() - Constructor for class edu.utep.cs.jet.gui.WindowLookAndFeel
 
WS - Static variable in class edu.utep.cs.jet.gui.tester.FuzzyParserLexer
 

X

xToOffset(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Converts an x co-ordinate to an offset within a line.
xyToOffset(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Converts a point to an offset, from the start of the text.

Y

yToLine(int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Converts a y co-ordinate to a line index.

_

_offsetToX(int, int) - Method in class edu.utep.cs.jet.gui.editor.syn.JEditTextArea
Converts an offset in a line into an x co-ordinate.

A B C D E F G H I J K L M N O P Q R S T U V W X Y _
JET

JET is Copyright (C) 2005-2008 by The University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.