de.uka.ilkd.key.gui.testgen

Class TestGenOptionsPanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

de.uka.ilkd.key.gui.smt.TablePanel

de.uka.ilkd.key.gui.testgen.TestGenOptionsPanel

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible

class TestGenOptionsPanel
extends TablePanel

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JPanel

javax.swing.JPanel.AccessibleJPanel

Nested classes/interfaces inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field and Description
private javax.swing.JCheckBox	checkboxRFL
private javax.swing.JCheckBox	includePostCondition
private static java.lang.String	infoApplySymbolicEx
private static java.lang.String	infoIncludePostcondition
private static java.lang.String	infoInvariantForAll
private static java.lang.String	infoMaxProcesses
private static java.lang.String	infoMaxUnwinds
private static java.lang.String	infoObjenesisPath
private static java.lang.String	infoOpenJMLPath
private static java.lang.String	infoRemoveDuplicates
private static java.lang.String	infoRFLSelection
private static java.lang.String	infoSaveTo
private static java.lang.String	infoUseJunit
private javax.swing.JCheckBox	invariantForAll
private javax.swing.JTextField	maxProcesses
private javax.swing.JTextField	maxUnwinds
private int	minWidthOfTitle
private FileChooserPanel	objenesisPanel
private FileChooserPanel	openJMLPanel
private javax.swing.JCheckBox	removeDuplicates
private FileChooserPanel	saveToFilePanel
private TestGenerationSettings	settings
private javax.swing.JCheckBox	symbolicEx
private javax.swing.JCheckBox	useJUnit

Fields inherited from class javax.swing.JComponent

listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Constructors

Constructor and Description
TestGenOptionsPanel()
TestGenOptionsPanel(TestGenerationSettings settings)

Method Summary

Modifier and Type	Method and Description
protected void	createComponents()
javax.swing.JCheckBox	getIncludePostCondition()
javax.swing.JCheckBox	getInvariantForall()
javax.swing.JCheckBox	getJUnitPanel()
javax.swing.JTextField	getMaxProcesses()
javax.swing.JTextField	getMaxUnwinds()
FileChooserPanel	getObjenesisPanel()
FileChooserPanel	getOpenJMLPanel()
javax.swing.JCheckBox	getRemoveDuplicatesPanel()
javax.swing.JCheckBox	getRFLSelectionPanel()
FileChooserPanel	getSaveToFilePanel()
javax.swing.JCheckBox	getSymbolicEx()

Methods inherited from class de.uka.ilkd.key.gui.smt.TablePanel

addCheckBox, addComboBox, addComponent, addFileChooserPanel, addInfoArea, addTextField, createCheckBox, createTable, createTextField, createTitledComponent, finalizeAddingComponents, getInfoText, setShowInfo, updateOptions

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

settings

private TestGenerationSettings settings

saveToFilePanel

private FileChooserPanel saveToFilePanel

openJMLPanel

private FileChooserPanel openJMLPanel

objenesisPanel

private FileChooserPanel objenesisPanel

maxProcesses

private javax.swing.JTextField maxProcesses

maxUnwinds

private javax.swing.JTextField maxUnwinds

symbolicEx

private javax.swing.JCheckBox symbolicEx

useJUnit

private javax.swing.JCheckBox useJUnit

invariantForAll

private javax.swing.JCheckBox invariantForAll

includePostCondition

private javax.swing.JCheckBox includePostCondition

removeDuplicates

private javax.swing.JCheckBox removeDuplicates

checkboxRFL

private javax.swing.JCheckBox checkboxRFL

minWidthOfTitle

private int minWidthOfTitle

infoApplySymbolicEx

private static final java.lang.String infoApplySymbolicEx

See Also:

Constant Field Values

infoSaveTo

private static final java.lang.String infoSaveTo

See Also:

Constant Field Values

infoMaxProcesses

private static final java.lang.String infoMaxProcesses

See Also:

Constant Field Values

infoUseJunit

private static final java.lang.String infoUseJunit

See Also:

Constant Field Values

infoInvariantForAll

private static final java.lang.String infoInvariantForAll

See Also:

Constant Field Values

infoMaxUnwinds

private static final java.lang.String infoMaxUnwinds

See Also:

Constant Field Values

infoRemoveDuplicates

private static final java.lang.String infoRemoveDuplicates

See Also:

Constant Field Values

infoRFLSelection

private static final java.lang.String infoRFLSelection

See Also:

Constant Field Values

infoOpenJMLPath

private static final java.lang.String infoOpenJMLPath

See Also:

Constant Field Values

infoObjenesisPath

private static final java.lang.String infoObjenesisPath

See Also:

Constant Field Values

infoIncludePostcondition

private static final java.lang.String infoIncludePostcondition

See Also:

Constant Field Values

Constructor Detail

TestGenOptionsPanel

public TestGenOptionsPanel(TestGenerationSettings settings)

TestGenOptionsPanel

public TestGenOptionsPanel()

Method Detail

createComponents

protected void createComponents()

Specified by:

createComponents in class TablePanel

getMaxProcesses

public javax.swing.JTextField getMaxProcesses()

getMaxUnwinds

public javax.swing.JTextField getMaxUnwinds()

getSaveToFilePanel

public FileChooserPanel getSaveToFilePanel()

getOpenJMLPanel

public FileChooserPanel getOpenJMLPanel()

getObjenesisPanel

public FileChooserPanel getObjenesisPanel()

getJUnitPanel

public javax.swing.JCheckBox getJUnitPanel()

getRemoveDuplicatesPanel

public javax.swing.JCheckBox getRemoveDuplicatesPanel()

getRFLSelectionPanel

public javax.swing.JCheckBox getRFLSelectionPanel()

getSymbolicEx

public javax.swing.JCheckBox getSymbolicEx()

getInvariantForall

public javax.swing.JCheckBox getInvariantForall()

getIncludePostCondition

public javax.swing.JCheckBox getIncludePostCondition()