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

S

saveLeftContent(Object, byte[]) - Method in class de.uds.cs.st.dd.eclipse.ui.DifferenceContentProvider

saveRightContent(Object, byte[]) - Method in class de.uds.cs.st.dd.eclipse.ui.DifferenceContentProvider

scale(int) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizingProgressBar

selectionChanged(IAction, ISelection) - Method in class de.uds.cs.st.dd.eclipse.actions.DeltaDebuggingAction

Selection in the workbench has been changed.

sendMessage(PrintWriter, String) - Method in class de.uds.cs.st.dd.core.InputDeltaDebugger

Sends any message to all connected processes by writing the text to * the specified writer object.

sendMessage(String) - Method in class de.uds.cs.st.dd.ui.ConsoleViewer

sendMessage(String) - Method in interface de.uds.cs.st.dd.ui.ISimpleViewer

Used to send an arbitrary message.

sendMessage(String) - Method in class de.uds.cs.st.dd.core.JUnitRunner

sendText(String) - Method in class de.uds.cs.st.dd.core.DD

Convenience method to send the specified message to all attached viewers.

sendTextMessage(String) - Method in class de.uds.cs.st.dd.ui.ConsoleViewer

sendTextMessage(String) - Method in interface de.uds.cs.st.dd.ui.ISimpleViewer

Convenience method to send a text message.

sendTextMessage(String) - Method in class de.uds.cs.st.dd.core.JUnitRunner

SEPARATOR - Static variable in class de.uds.cs.st.dd.core.deltacreator.LineDeltaCreator

Sets the separation character between lines (depends on the operating * system).

set(int, Object) - Method in class de.uds.cs.st.dd.core.TConfiguration

setAssumeAxiomsHold(boolean) - Method in class de.uds.cs.st.dd.core.DD

Sets assumeAxiomsHold.

setCacheOutcomes(boolean) - Method in class de.uds.cs.st.dd.core.DD

Sets the cacheOutcomes variables.

setComplexityDepth(String, String, String, int) - Method in class de.uds.cs.st.dd.eclipse.DeltaDebuggingPlugin

setDeltaDebuggingMode(int) - Method in class de.uds.cs.st.dd.core.InputDeltaDebugger

Sets the mode of the Delta Debugging algorithm: Either MINIMIZATION or * ISOLATION.

setElement(IJavaElement) - Method in class de.uds.cs.st.dd.eclipse.debugging.DDJUnitDebugEventFilter

Sets the current Java element.

setErrorValue(int) - Method in class de.uds.cs.st.dd.eclipse.ui.CounterPanel

Sets the current error value.

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

Sets the failure trace view that belongs to this failure run view.

setFailureTraceView(FailureTraceView) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizeInputTree

setFailureValue(int) - Method in class de.uds.cs.st.dd.eclipse.ui.CounterPanel

Sets the current failure value.

setFileMethodsPreference(String[]) - Method in class de.uds.cs.st.dd.eclipse.DeltaDebuggingPlugin

Set the bad words preference

setFileName(String) - Method in class de.uds.cs.st.dd.core.tester.JUnitFileTester

Sets the filename of the input file.

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

Sets the focus to the tree.

setFocus() - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizeInputViewPart

setItems(String[]) - Method in class de.uds.cs.st.dd.eclipse.DeltaDebuggingPlugin

setJavaFileAccessBreakpoints() - Method in class de.uds.cs.st.dd.eclipse.actions.DeltaDebuggingAction

Sets breakpoints at those methods that have been specified in the preference dialog.

setJavaSourceLocator(ILaunchConfiguration, ILaunch) - Method in class de.uds.cs.st.dd.eclipse.launching.DDJUnitLaunchDelegate

Adds a JavaSourceLocator to the launch.

setListeningMode(int) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizeInputTree

setListeningMode(int) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizeInputViewPart

setListItems(String[]) - Method in class de.uds.cs.st.dd.eclipse.preferences.MainPreferencePage

Sets the entries of the method list to the specified items.

setMaximum(int) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizingProgressBar

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

Creates a breakpoint at the specified method.

setMonotony(boolean) - Method in class de.uds.cs.st.dd.core.DD

Sets the monotony.

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

Sets the network flag of the specified original resource name to true.

setOriginalFileName(String) - Method in class de.uds.cs.st.dd.core.InputDeltaDebugger

Stores the name of the original file that is analyzed.

setPrecision(int) - Method in class de.uds.cs.st.dd.core.tester.JUnitTester

Sets the test outcome precision.

setPrecision(int) - Method in class de.uds.cs.st.dd.core.InputDeltaDebugger

Sets the test outcome precision.

setProject(IJavaProject) - Method in class de.uds.cs.st.dd.eclipse.debugging.DDJUnitDebugEventFilter

Sets the current Java project.

setResolver(Resolver) - Method in class de.uds.cs.st.dd.core.DD

Sets the current resolver of this DD object.

setRunValue(int) - Method in class de.uds.cs.st.dd.eclipse.ui.CounterPanel

Sets the current run value.

setSplitter(Splitter) - Method in class de.uds.cs.st.dd.core.DD

Sets the current splitter of this DD object.

setStatusColor(GC) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizingProgressBar

setTest(Test) - Method in class de.uds.cs.st.dd.core.InputDeltaDebugger

Assigns the specified JUnit-test object to the test of this class.

setTester(Tester) - Method in class de.uds.cs.st.dd.core.DD

Sets the current tester of this DD object.

setTestObject(Test) - Method in class de.uds.cs.st.dd.core.tester.JUnitTester

Sets the current JUnit-test.

setThread(IJavaThread) - Method in class de.uds.cs.st.dd.eclipse.debugging.DDJUnitDebugEventFilter

Sets the current Java thread.

setThrowable(Throwable) - Method in class de.uds.cs.st.dd.core.tester.JUnitTester

Sets the original failing exception.

setThrowable(Throwable) - Method in class de.uds.cs.st.dd.core.InputDeltaDebugger

Sets the original failing exception.

setTotal(int) - Method in class de.uds.cs.st.dd.eclipse.ui.CounterPanel

Sets the total run value to the new value.

setUp() - Method in class de.uds.cs.st.dd.core.test.OutcomeCacheTest

Creates a new OutcomeCache object for testing purposes.

setUp() - Method in class de.uds.cs.st.dd.core.test.TConfigurationTest

setVariables(String, String, String, String[]) - Method in class de.uds.cs.st.dd.eclipse.DeltaDebuggingPlugin

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

Sets the view form of this view (this is the view form that defines the parent of the failure stack trace).

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

Displays all failing test case names and line numbers.

showAncestor(Object) - Method in class de.uds.cs.st.dd.eclipse.ui.DifferenceContentProvider

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

Shows a TestFailure

showMinimizeInputViewPartInActivePage(MinimizeInputViewPart, IWorkbenchWindow) - Method in class de.uds.cs.st.dd.eclipse.DeltaDebuggingPlugin

showTestResultsView() - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizeInputViewPart

shutdown() - Method in class de.uds.cs.st.dd.eclipse.DeltaDebuggingPlugin

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

shutDown() - Method in class de.uds.cs.st.dd.core.JUnitRunner

Cleanup.

SIGNATURE - Static variable in class de.uds.cs.st.dd.eclipse.DeltaDebuggingPlugin

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

Text field to enter the signature of a method.

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

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

Sorts this TConfiguration is ascending order.

split(TConfiguration, int) - Method in class de.uds.cs.st.dd.core.splitter.DefaultSplitter

The default splitter simply creates n equally sized subsets of the given configuration and stores the result in a new configuration.

split(TConfiguration, int) - Method in interface de.uds.cs.st.dd.core.splitter.Splitter

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

Splitting functionality.

Splitter - interface de.uds.cs.st.dd.core.splitter.Splitter.

The splitter interface must be implemented by all splitters.

STANDARD_PARTITION - Static variable in class de.uds.cs.st.dd.core.deltacreator.BlockDeltaCreator

Standard partition size.

start(int) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizeInputViewPart

start(String[]) - Method in class de.uds.cs.st.dd.core.JUnitRunner

Actually starts the testing with the command line parameters that * have been specified when calling the main function.

startListening(int) - Method in class de.uds.cs.st.dd.eclipse.LaunchMessageReader

Start listening to a test run.

startTest(Test) - Method in class de.uds.cs.st.dd.core.JUnitRunner

startup() - Method in class de.uds.cs.st.dd.eclipse.DeltaDebuggingPlugin

STEP_INTO - Static variable in class de.uds.cs.st.dd.eclipse.debugging.DDJUnitDebugEventFilter

Used to perform a step into.

STEP_OVER - Static variable in class de.uds.cs.st.dd.eclipse.debugging.DDJUnitDebugEventFilter

Used to perform a step over.

STEP_RETURN - Static variable in class de.uds.cs.st.dd.eclipse.debugging.DDJUnitDebugEventFilter

Used to perform a step return (i.e.

step(int) - Method in class de.uds.cs.st.dd.eclipse.ui.MinimizingProgressBar

storeFailingTests - Variable in class de.uds.cs.st.dd.core.JUnitRunner

A flag to indicate, if failing tests are to be stored or not.

STRESS_TEST_CALLS - Static variable in class de.uds.cs.st.dd.core.test.OutcomeCacheTest

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

Returns a new TConfiguration that contains a subset of the original TConfiguration.

suite() - Static method in class de.uds.cs.st.dd.core.test.AllTests

SUSPEND - Static variable in class de.uds.cs.st.dd.eclipse.debugging.DDJUnitDebugEventFilter

Used to suspend a thread.