de.uds.cs.st.dd.eclipse.ui
Class MinimizedInputShell

java.lang.Object
  |
  +--de.uds.cs.st.dd.eclipse.ui.MinimizedInputShell

public class MinimizedInputShell

extends Object

Shows a new window that contains a StyledText widget that displays the 1-minimal failing input of a test run.

Author:

Philipp Bouillon

Constructor Summary

MinimizedInputShell(String title, String failingInput, String fileName, String testName, org.eclipse.swt.widgets.Display display)
Creates a new MinimizedInputShell.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MinimizedInputShell

public MinimizedInputShell(String title,
                           String failingInput,
                           String fileName,
                           String testName,
                           org.eclipse.swt.widgets.Display display)

Creates a new MinimizedInputShell.

Parameters:

title - title to be displayed.

failingInput - 1-minimal failing input.

fileName - name of the original file.

testName - name of the failing test.

display - parent display.