class TestGenOptionsPanel extends TablePanel
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
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 |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
TestGenOptionsPanel() |
TestGenOptionsPanel(TestGenerationSettings settings) |
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() |
addCheckBox, addComboBox, addComponent, addFileChooserPanel, addInfoArea, addTextField, createCheckBox, createTable, createTextField, createTitledComponent, finalizeAddingComponents, getInfoText, setShowInfo, updateOptions
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
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
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
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
private TestGenerationSettings settings
private FileChooserPanel saveToFilePanel
private FileChooserPanel openJMLPanel
private FileChooserPanel objenesisPanel
private javax.swing.JTextField maxProcesses
private javax.swing.JTextField maxUnwinds
private javax.swing.JCheckBox symbolicEx
private javax.swing.JCheckBox useJUnit
private javax.swing.JCheckBox invariantForAll
private javax.swing.JCheckBox includePostCondition
private javax.swing.JCheckBox removeDuplicates
private javax.swing.JCheckBox checkboxRFL
private int minWidthOfTitle
private static final java.lang.String infoApplySymbolicEx
private static final java.lang.String infoSaveTo
private static final java.lang.String infoMaxProcesses
private static final java.lang.String infoUseJunit
private static final java.lang.String infoInvariantForAll
private static final java.lang.String infoMaxUnwinds
private static final java.lang.String infoRemoveDuplicates
private static final java.lang.String infoRFLSelection
private static final java.lang.String infoOpenJMLPath
private static final java.lang.String infoObjenesisPath
private static final java.lang.String infoIncludePostcondition
public TestGenOptionsPanel(TestGenerationSettings settings)
public TestGenOptionsPanel()
protected void createComponents()
createComponents
in class TablePanel
public javax.swing.JTextField getMaxProcesses()
public javax.swing.JTextField getMaxUnwinds()
public FileChooserPanel getSaveToFilePanel()
public FileChooserPanel getOpenJMLPanel()
public FileChooserPanel getObjenesisPanel()
public javax.swing.JCheckBox getJUnitPanel()
public javax.swing.JCheckBox getRemoveDuplicatesPanel()
public javax.swing.JCheckBox getRFLSelectionPanel()
public javax.swing.JCheckBox getSymbolicEx()
public javax.swing.JCheckBox getInvariantForall()
public javax.swing.JCheckBox getIncludePostCondition()