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

A

aboutToStart() - Method in class de.uds.cs.st.dd.eclipse.ui.FailureRunView

Deletes the contents of the tree on first initialization.

ADD - Static variable in class de.uds.cs.st.dd.core.DD

Resolving direction: Adds more deltas.

add(Collection, int) - Method in class de.uds.cs.st.dd.core.OutcomeCache

Adds the pair (c, result) to the cache.

add(Object) - Method in class de.uds.cs.st.dd.core.TConfiguration

addAll(Collection) - Method in class de.uds.cs.st.dd.core.TConfiguration

addButton - Variable in class de.uds.cs.st.dd.eclipse.preferences.MainPreferencePage

A button to add an entry to the method list.

addComplexity(String, int) - Method in class de.uds.cs.st.dd.eclipse.debugging.FileAccessMethodManager

Adds a complexity depth string to a method.

addComplexity(String, String, String, int) - Method in class de.uds.cs.st.dd.eclipse.debugging.FileAccessMethodManager

Adds a complexity depth string to a method.

addEntry(String, int) - Method in class de.uds.cs.st.dd.eclipse.debugging.DebugLinesVisited

Adds a failing test class and a line number to this object.

addEntry(String, String) - Method in class de.uds.cs.st.dd.eclipse.ui.DDToolTree

Adds an entry to the hash map.

addFailingInput(String, String, String, String) - Method in class de.uds.cs.st.dd.eclipse.ui.FailureRunView

Adds a failing input string (or an isolated difference) to the tree.

addFailingInput(String, String, String, String, String, String) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizeInputTree

addKey(String, String, String) - Method in class de.uds.cs.st.dd.eclipse.debugging.FileAccessMethodManager

Inserts a method into the hash table.

addListeners() - Method in class de.uds.cs.st.dd.eclipse.ui.FailureRunView

Adds a dispose listener that kills all icons and a mouse listener that handles double clicks.

addMethodList(Composite) - Method in class de.uds.cs.st.dd.eclipse.preferences.MainPreferencePage

Creates a new method list widget and initializes a selection listener that automatically updates all text fields as soon as a selection is made.

addMinimizeTestRunListener(IMinimizeTestRunListener) - Method in class de.uds.cs.st.dd.eclipse.LaunchMessageReader

addQualifiedTestName(String) - Method in class de.uds.cs.st.dd.eclipse.debugging.DebugLinesVisited

Adds the qualified name of a failing test method.

addRemoveFunctionality(Composite) - Method in class de.uds.cs.st.dd.eclipse.preferences.MainPreferencePage

Creates the remove button and installs a selection listener that removes an entry (if one is selected) from the method list.

addResultEntry(String, String) - Method in class de.uds.cs.st.dd.eclipse.debugging.DebugLinesVisited

Adds an original resource name and a matching temporary file name.

addResultEntry(String, String, String) - Method in class de.uds.cs.st.dd.eclipse.debugging.DebugLinesVisited

Adds the name of a resource, the name of the matching temporary file and the name of the test method that operates on it.

addSomeElements(TConfiguration, int, int) - Method in class de.uds.cs.st.dd.core.test.TConfigurationTest

Adds the integers start, start + 1, start + 2, ..., start + count - 1 to * the specified TConfiguration.

addSorted(Collection, int) - Method in class de.uds.cs.st.dd.core.OutcomeCache

Adds the pair (c, result) to the cache.

addString(String, String, String) - Method in class de.uds.cs.st.dd.eclipse.debugging.FileAccessMethodManager

Adds a property value to a specified key.

addTestFiles(String, String[]) - Method in class de.uds.cs.st.dd.eclipse.ui.FailureRunView

Adds the specified resource names to the failing test.

addTestFiles(String, String[]) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizeInputTree

addUpdateFunctionality(Composite) - Method in class de.uds.cs.st.dd.eclipse.preferences.MainPreferencePage

Creates the add button and installs a selection listener that adds an entry to the method list, also this method creates text fields and labels that allow the user to enter the needed data for the method list.

addVariables(String, String[]) - Method in class de.uds.cs.st.dd.eclipse.debugging.FileAccessMethodManager

Adds a variables string to a method.

addVariables(String, String, String, String[]) - Method in class de.uds.cs.st.dd.eclipse.debugging.FileAccessMethodManager

Adds a variables string to a method.

addViewer(ISimpleViewer) - Method in class de.uds.cs.st.dd.core.InputDeltaDebugger

Adds a viewer to the registered viewers of this class.

addViewer(ISimpleViewer) - Method in class de.uds.cs.st.dd.core.DD

Adds a viewer to the registered viewers of this class.

allBreakpoints - Variable in class de.uds.cs.st.dd.eclipse.actions.DeltaDebuggingAction

Used to store all currently active breakpoints.

AllTests - class de.uds.cs.st.dd.core.test.AllTests.

Test class for all tests (currently OutcomeCacheTest and TConfigurationTest).

AllTests() - Constructor for class de.uds.cs.st.dd.core.test.AllTests

analyzeStep() - Method in class de.uds.cs.st.dd.eclipse.debugging.EvaluationDebugFilter

Analyzes the current Java stack frames.

analyzeStep() - Method in class de.uds.cs.st.dd.eclipse.debugging.ReplaceDebugFilter

Analyzes the current Java stack frames.

analyzeTempFile(String, String, String, int) - Method in class de.uds.cs.st.dd.eclipse.actions.DeltaDebuggingAction

Analyzes a failing test and tries to determine if it opens any file (or internet resource).

assertEquality(TConfiguration, TConfiguration) - Method in class de.uds.cs.st.dd.core.test.TConfigurationTest

Asserts equality of two TConfigurations.

assumeAxiomsHold - Variable in class de.uds.cs.st.dd.core.DD

If set to true, c[initialfail] == fail and c[initialpass] == pass.