public class ChoiceSelector extends JDialog
Modifier and Type | Class and Description |
---|---|
static class |
ChoiceSelector.ChoiceEntry
Represents a choice with all its meta information.
|
JDialog.AccessibleJDialog
Dialog.AccessibleAWTDialog, Dialog.ModalExclusionType, Dialog.ModalityType
Window.AccessibleAWTWindow, Window.Type
Container.AccessibleAWTContainer
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
Modifier and Type | Field and Description |
---|---|
private HashMap<String,Set<String>> |
category2Choices |
private HashMap<String,String> |
category2DefaultChoice |
private JList<String> |
catList
the JList with the categories of choices
|
private boolean |
changed |
private JList<ChoiceSelector.ChoiceEntry> |
choiceList
the JList with the choices for one category
|
private JTextArea |
explanationArea |
private static Properties |
explanationMap |
private static String |
EXPLANATIONS_RESOURCE |
private static long |
serialVersionUID |
private ChoiceSettings |
settings |
accessibleContext, rootPane, rootPaneCheckingEnabled
DEFAULT_MODALITY_TYPE
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
Constructor and Description |
---|
ChoiceSelector()
creates a new ChoiceSelector
|
ChoiceSelector(ChoiceSettings settings)
creates a new ChoiceSelector, using the
ChoiceSettings
from settings |
Modifier and Type | Method and Description |
---|---|
static ChoiceSelector.ChoiceEntry[] |
createChoiceEntries(Set<String> choices)
Creates
ChoiceSelector.ChoiceEntry s for all given choices. |
static ChoiceSelector.ChoiceEntry |
createChoiceEntry(String choice)
Creates a
ChoiceSelector.ChoiceEntry for the given choice. |
static ChoiceSelector.ChoiceEntry |
findChoice(ChoiceSelector.ChoiceEntry[] choices,
String choice)
Searches the choice in the given
ChoiceSelector.ChoiceEntry s. |
static String |
getExplanation(String category)
Returns the explanation for the given category.
|
static String |
getInformation(String choice)
Checks if additional information for the choice are available.
|
static boolean |
isIncomplete(String choice)
Checks if the given choice makes a proof incomplete.
|
static boolean |
isUnsound(String choice)
Checks if the given choice makes a proof unsound.
|
protected void |
layoutChoiceSelector()
layout
|
private void |
setChoiceList()
is called if the selection of left list has changed, and causes the
right one to display the possible choices for the category chosen on
the left side
|
private void |
setDefaultChoice(String sel)
is called to set the selected choice in
category2DefaultChoice |
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
private static final long serialVersionUID
private static final String EXPLANATIONS_RESOURCE
private ChoiceSettings settings
private boolean changed
private JList<ChoiceSelector.ChoiceEntry> choiceList
private JTextArea explanationArea
private static Properties explanationMap
public ChoiceSelector(ChoiceSettings settings)
ChoiceSettings
from settings
public ChoiceSelector()
protected void layoutChoiceSelector()
private void setDefaultChoice(String sel)
category2DefaultChoice
private void setChoiceList()
public static String getExplanation(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(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(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 String getInformation(String choice)
choice
- The choice to check.null
if no information are available.public static ChoiceSelector.ChoiceEntry findChoice(ChoiceSelector.ChoiceEntry[] choices, 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(Set<String> choices)
ChoiceSelector.ChoiceEntry
s for all given choices.choices
- The choices.ChoiceSelector.ChoiceEntry
s.public static ChoiceSelector.ChoiceEntry createChoiceEntry(String choice)
ChoiceSelector.ChoiceEntry
for the given choice.choice
- The choice.ChoiceSelector.ChoiceEntry
.