public class ChoiceSelector
extends javax.swing.JDialog
Modifier and Type | Class and Description |
---|---|
static class |
ChoiceSelector.ChoiceEntry
Represents a choice with all its meta information.
|
javax.swing.JDialog.AccessibleJDialog
java.awt.Dialog.AccessibleAWTDialog, java.awt.Dialog.ModalExclusionType, java.awt.Dialog.ModalityType
java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type
accessibleContext, rootPane, rootPaneCheckingEnabled
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
Constructor and Description |
---|
ChoiceSelector(javax.swing.JFrame mainWindow,
ChoiceSettings settings)
Creates a new dialog for choosing taclet options.
|
Modifier and Type | Method and Description |
---|---|
static ChoiceSelector.ChoiceEntry[] |
createChoiceEntries(java.util.Set<java.lang.String> choices)
Creates
ChoiceSelector.ChoiceEntry s for all given choices. |
static ChoiceSelector.ChoiceEntry |
createChoiceEntry(java.lang.String choice)
Creates a
ChoiceSelector.ChoiceEntry for the given choice. |
static ChoiceSelector.ChoiceEntry |
findChoice(ChoiceSelector.ChoiceEntry[] choices,
java.lang.String choice)
Searches the choice in the given
ChoiceSelector.ChoiceEntry s. |
static java.lang.String |
getExplanation(java.lang.String category)
Returns the explanation for the given category.
|
static java.lang.String |
getInformation(java.lang.String choice)
Checks if additional information for the choice are available.
|
static boolean |
isIncomplete(java.lang.String choice)
Checks if the given choice makes a proof incomplete.
|
static boolean |
isUnsound(java.lang.String choice)
Checks if the given choice makes a proof unsound.
|
protected void |
layoutChoiceSelector()
layout
|
addImpl, createRootPane, dialogInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
addNotify, getModalityType, getTitle, hide, isModal, isResizable, isUndecorated, setBackground, setModal, setModalityType, setOpacity, setResizable, setShape, setTitle, setUndecorated, setVisible, show, toBack
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeNotify, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImage, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, toFront
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
public ChoiceSelector(javax.swing.JFrame mainWindow, ChoiceSettings settings)
mainWindow
- the parent window (dialog is centered on this)settings
- the currently selected settingsprotected void layoutChoiceSelector()
public static java.lang.String getExplanation(java.lang.String category)
Returns the explanation for the given category.
This method should be public and static because it is independent
from the JDialog
and it is also used by the eclipse projects.
category
- The category for which the explanation is requested.public static boolean isUnsound(java.lang.String choice)
choice
- The choice to check.true
proof will be unsound, false
proof will be sound as long as all other choices are sound.public static boolean isIncomplete(java.lang.String choice)
choice
- The choice to check.true
proof will be incomplete, false
proof will be complete as long as all other choices are complete.public static java.lang.String getInformation(java.lang.String choice)
choice
- The choice to check.null
if no information are available.public static ChoiceSelector.ChoiceEntry findChoice(ChoiceSelector.ChoiceEntry[] choices, java.lang.String choice)
ChoiceSelector.ChoiceEntry
s.choices
- The ChoiceSelector.ChoiceEntry
s to search in.choice
- The choice to search.ChoiceSelector.ChoiceEntry
for the given choice or null
otherwise.public static ChoiceSelector.ChoiceEntry[] createChoiceEntries(java.util.Set<java.lang.String> choices)
ChoiceSelector.ChoiceEntry
s for all given choices.choices
- The choices.ChoiceSelector.ChoiceEntry
s.public static ChoiceSelector.ChoiceEntry createChoiceEntry(java.lang.String choice)
ChoiceSelector.ChoiceEntry
for the given choice.choice
- The choice.ChoiceSelector.ChoiceEntry
.Copyright © 2003-2019 The KeY-Project.