class TestGenOptionsPanel extends TablePanel
JPanel.AccessibleJPanel
JComponent.AccessibleJComponent
Container.AccessibleAWTContainer
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
Modifier and Type | Field and Description |
---|---|
private JCheckBox |
checkboxRFL |
private JCheckBox |
includePostCondition |
private static String |
infoApplySymbolicEx |
private static String |
infoIncludePostcondition |
private static String |
infoInvariantForAll |
private static String |
infoMaxProcesses |
private static String |
infoMaxUnwinds |
private static String |
infoObjenesisPath |
private static String |
infoOpenJMLPath |
private static String |
infoRemoveDuplicates |
private static String |
infoRFLSelection |
private static String |
infoSaveTo |
private static String |
infoUseJunit |
private JCheckBox |
invariantForAll |
private JTextField |
maxProcesses |
private JTextField |
maxUnwinds |
private int |
minWidthOfTitle |
private FileChooserPanel |
objenesisPanel |
private FileChooserPanel |
openJMLPanel |
private JCheckBox |
removeDuplicates |
private FileChooserPanel |
saveToFilePanel |
private TestGenerationSettings |
settings |
private JCheckBox |
symbolicEx |
private ButtonGroup |
useJUnit |
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
Constructor and Description |
---|
TestGenOptionsPanel() |
TestGenOptionsPanel(TestGenerationSettings settings) |
Modifier and Type | Method and Description |
---|---|
protected void |
createComponents() |
JCheckBox |
getIncludePostCondition() |
JCheckBox |
getInvariantForall() |
ButtonGroup |
getJUnitPanel() |
JTextField |
getMaxProcesses() |
JTextField |
getMaxUnwinds() |
FileChooserPanel |
getObjenesisPanel() |
FileChooserPanel |
getOpenJMLPanel() |
JCheckBox |
getRemoveDuplicatesPanel() |
JCheckBox |
getRFLSelectionPanel() |
FileChooserPanel |
getSaveToFilePanel() |
JCheckBox |
getSymbolicEx() |
addCheckBox, addComboBox, addComponent, addFileChooserPanel, 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 JTextField maxProcesses
private JTextField maxUnwinds
private JCheckBox symbolicEx
private ButtonGroup useJUnit
private JCheckBox invariantForAll
private JCheckBox includePostCondition
private JCheckBox removeDuplicates
private JCheckBox checkboxRFL
private int minWidthOfTitle
private static final String infoApplySymbolicEx
private static final String infoSaveTo
private static final String infoMaxProcesses
private static final String infoUseJunit
private static final String infoInvariantForAll
private static final String infoMaxUnwinds
private static final String infoRemoveDuplicates
private static final String infoRFLSelection
private static final String infoOpenJMLPath
private static final String infoObjenesisPath
private static final String infoIncludePostcondition
public TestGenOptionsPanel(TestGenerationSettings settings)
public TestGenOptionsPanel()
protected void createComponents()
createComponents
in class TablePanel
public JTextField getMaxProcesses()
public JTextField getMaxUnwinds()
public FileChooserPanel getSaveToFilePanel()
public FileChooserPanel getOpenJMLPanel()
public FileChooserPanel getObjenesisPanel()
public ButtonGroup getJUnitPanel()
public JCheckBox getRemoveDuplicatesPanel()
public JCheckBox getRFLSelectionPanel()
public JCheckBox getSymbolicEx()
public JCheckBox getInvariantForall()
public JCheckBox getIncludePostCondition()