public class FileChooser
extends javax.swing.JPanel
Modifier and Type | Class and Description |
---|---|
static class |
FileChooser.Mode |
private class |
FileChooser.SingleFileChooser |
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
private javax.swing.JButton |
addAxiomFileButton |
private javax.swing.JPanel |
axiomFilePanel |
private javax.swing.JList<java.io.File> |
axiomsList |
private javax.swing.JPanel |
buttonPanel |
private javax.swing.JButton |
cancelButton |
private javax.swing.JPanel |
cardPanel |
private boolean |
closedByOkayButton |
private javax.swing.JDialog |
dialog |
private KeYFileChooser |
fileChooser |
private boolean |
firstTimeAddingAxioms |
private static java.lang.String |
HELP_TEXT |
private javax.swing.JButton |
helpButton |
private javax.swing.JDialog |
helpWindow |
private static java.lang.String |
INFO_TEXT1 |
private static java.lang.String |
INFO_TEXT2 |
private javax.swing.JPanel |
justificationPanel |
private javax.swing.JCheckBox |
lemmaCheckbox |
private FileChooser.SingleFileChooser |
lemmataFileChooser |
private javax.swing.DefaultListModel<java.io.File> |
listModel |
private static java.awt.Dimension |
MAX_DIM |
private FileChooser.Mode |
mode |
private javax.swing.JButton |
okayButton |
private javax.swing.JButton |
removeAxiomFileButton |
private javax.swing.JScrollPane |
scrollPane |
private static long |
serialVersionUID |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
FileChooser(FileChooser.Mode mode) |
Modifier and Type | Method and Description |
---|---|
private void |
changedToNotSelected() |
private void |
changedToSelected() |
private java.io.File |
chooseFiles(java.lang.String title) |
private void |
enableAxiomFilePanel(boolean val) |
private javax.swing.JButton |
getAddAxiomFileButton() |
private javax.swing.JPanel |
getAxiomFilePanel() |
private javax.swing.JList<java.io.File> |
getAxiomsList() |
private javax.swing.JPanel |
getButtonPanel() |
private javax.swing.JButton |
getCancelButton() |
private javax.swing.JPanel |
getCardPanel() |
private javax.swing.JDialog |
getDialog() |
private KeYFileChooser |
getFileChooser(java.lang.String title) |
java.io.File |
getFileForTaclets() |
java.util.List<java.io.File> |
getFilesForAxioms() |
private javax.swing.JButton |
getHelpButton() |
private javax.swing.JDialog |
getHelpWindow() |
private javax.swing.JPanel |
getJustificationBox() |
private javax.swing.JCheckBox |
getLemmaCheckBox() |
private FileChooser.SingleFileChooser |
getLemmataFileChooser() |
private javax.swing.JButton |
getOkayButton() |
private javax.swing.JButton |
getRemoveAxiomFileButton() |
private javax.swing.JScrollPane |
getScrollPane() |
boolean |
isGenerateProofObligations() |
static void |
main(java.lang.String[] args) |
private javax.swing.JLabel |
redLabel(java.lang.String label) |
private void |
setMaximumHeight(javax.swing.JComponent comp,
int value) |
private void |
setMaximumWidth(javax.swing.JComponent comp,
int value) |
boolean |
showAsDialog() |
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 static final java.lang.String HELP_TEXT
private static final java.lang.String INFO_TEXT1
private static final java.lang.String INFO_TEXT2
private javax.swing.JList<java.io.File> axiomsList
private javax.swing.JButton addAxiomFileButton
private javax.swing.JButton removeAxiomFileButton
private javax.swing.JButton helpButton
private FileChooser.SingleFileChooser lemmataFileChooser
private javax.swing.JPanel axiomFilePanel
private javax.swing.JPanel buttonPanel
private javax.swing.JScrollPane scrollPane
private KeYFileChooser fileChooser
private javax.swing.JDialog helpWindow
private javax.swing.JButton okayButton
private javax.swing.JButton cancelButton
private javax.swing.JCheckBox lemmaCheckbox
private boolean closedByOkayButton
private final javax.swing.DefaultListModel<java.io.File> listModel
private static final java.awt.Dimension MAX_DIM
private boolean firstTimeAddingAxioms
private final FileChooser.Mode mode
private javax.swing.JDialog dialog
private javax.swing.JPanel justificationPanel
private javax.swing.JPanel cardPanel
public FileChooser(FileChooser.Mode mode)
public java.util.List<java.io.File> getFilesForAxioms()
public java.io.File getFileForTaclets()
private javax.swing.JCheckBox getLemmaCheckBox()
private void enableAxiomFilePanel(boolean val)
private void changedToSelected()
private void changedToNotSelected()
private javax.swing.JList<java.io.File> getAxiomsList()
private KeYFileChooser getFileChooser(java.lang.String title)
private javax.swing.JButton getHelpButton()
private javax.swing.JDialog getHelpWindow()
private javax.swing.JScrollPane getScrollPane()
private java.io.File chooseFiles(java.lang.String title)
private FileChooser.SingleFileChooser getLemmataFileChooser()
private javax.swing.JButton getAddAxiomFileButton()
private javax.swing.JButton getRemoveAxiomFileButton()
private javax.swing.JPanel getAxiomFilePanel()
private javax.swing.JPanel getJustificationBox()
private javax.swing.JPanel getCardPanel()
private javax.swing.JLabel redLabel(java.lang.String label)
private javax.swing.JPanel getButtonPanel()
private void setMaximumHeight(javax.swing.JComponent comp, int value)
private void setMaximumWidth(javax.swing.JComponent comp, int value)
private javax.swing.JDialog getDialog()
private javax.swing.JButton getOkayButton()
private javax.swing.JButton getCancelButton()
public boolean showAsDialog()
public static void main(java.lang.String[] args)
public boolean isGenerateProofObligations()