class GeneralOptions extends TablePanel
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
infoBound |
private static java.lang.String |
infoCheckForSupport |
private static java.lang.String |
infoMaxProcesses |
private static java.lang.String |
infoProgressModeBox |
private static java.lang.String |
infoSaveToFilePanel |
private static java.lang.String |
infoTimeoutField |
private javax.swing.JTextField |
intBoundField |
private javax.swing.JTextField |
locsetBoundField |
private javax.swing.JTextField |
maxProcesses |
int |
minWidthOfTitle |
private javax.swing.JTextField |
objectBoundField |
static java.lang.String |
PROGRESS_MODE_CLOSE |
static java.lang.String |
PROGRESS_MODE_CLOSE_FIRST |
static java.lang.String |
PROGRESS_MODE_USER |
private javax.swing.JComboBox<java.lang.String> |
progressModeBox |
private FileChooserPanel |
saveToFilePanel |
private javax.swing.JTextField |
seqBoundField |
private static long |
serialVersionUID |
private ProofIndependentSMTSettings |
settings |
private javax.swing.JCheckBox |
solverSupportCheck |
private javax.swing.JTextField |
timeoutField |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
GeneralOptions(ProofIndependentSMTSettings settings) |
Modifier and Type | Method and Description |
---|---|
protected void |
createComponents() |
void |
getBoundFields() |
javax.swing.JTextField |
getMaxProcesses() |
java.lang.String |
getProgressMode(int index) |
javax.swing.JComboBox<java.lang.String> |
getProgressModeBox() |
FileChooserPanel |
getSaveToFilePanel() |
javax.swing.JCheckBox |
getSolverSupportCheck() |
javax.swing.JTextField |
getTimeoutField() |
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 static final long serialVersionUID
private FileChooserPanel saveToFilePanel
private javax.swing.JComboBox<java.lang.String> progressModeBox
private javax.swing.JTextField maxProcesses
private javax.swing.JTextField timeoutField
private javax.swing.JTextField intBoundField
private javax.swing.JTextField seqBoundField
private javax.swing.JTextField objectBoundField
private javax.swing.JTextField locsetBoundField
private javax.swing.JCheckBox solverSupportCheck
private final ProofIndependentSMTSettings settings
public static final java.lang.String PROGRESS_MODE_USER
public static final java.lang.String PROGRESS_MODE_CLOSE
public static final java.lang.String PROGRESS_MODE_CLOSE_FIRST
public final int minWidthOfTitle
private static final java.lang.String infoBound
private static final java.lang.String infoSaveToFilePanel
private static final java.lang.String infoProgressModeBox
private static final java.lang.String infoCheckForSupport
private static final java.lang.String infoMaxProcesses
private static final java.lang.String infoTimeoutField
public GeneralOptions(ProofIndependentSMTSettings settings)
protected void createComponents()
createComponents
in class TablePanel
public javax.swing.JTextField getMaxProcesses()
public javax.swing.JTextField getTimeoutField()
public void getBoundFields()
public javax.swing.JComboBox<java.lang.String> getProgressModeBox()
public javax.swing.JCheckBox getSolverSupportCheck()
public FileChooserPanel getSaveToFilePanel()
public java.lang.String getProgressMode(int index)