de.uka.ilkd.key.gui

Class HeatmapOptionsDialog

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Dialog

javax.swing.JDialog

de.uka.ilkd.key.gui.HeatmapOptionsDialog

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class HeatmapOptionsDialog
extends javax.swing.JDialog

This Dialog contains options for highlighting sequent formulae or terms according to their age, i.e., when they were first introduced into the proof. It is possible to highlight all sf/terms up to a specified age, or to highlight the x newest sf/terms, x being specified by the user.

Author:

jschiffl

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) class	HeatmapOptionsDialog.InfoDialog

Nested classes/interfaces inherited from class javax.swing.JDialog

javax.swing.JDialog.AccessibleJDialog

Nested classes/interfaces inherited from class java.awt.Dialog

java.awt.Dialog.AccessibleAWTDialog, java.awt.Dialog.ModalExclusionType, java.awt.Dialog.ModalityType

Nested classes/interfaces inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field and Description
private static java.lang.String[]	BUTTON_NAMES Button names
private static java.lang.String[]	COMMANDS Button command names
private static java.lang.String[]	DESCRIPTIONS Descriptions for heatmap options
private static javax.swing.Icon	HELPICON question mark icon
private static java.lang.String	INTRO_LABEL Text for introductory heatmap explanation
private static int	MAX_AGE Maximal setting for number of highlighted terms
private static int	MIN_AGE Minimal setting for number of highlighted terms
private static int	NUMRADIOBUTTONS number of radioButtons in the group
private static long	serialVersionUID Version ID.
private static java.lang.String	TEXTFIELD_LABEL Explanation for age textfield
private static java.lang.String	TOOLTIP_TEXT Tool tip for age textfield
private static ViewSettings	VS The view settings

Fields inherited from class javax.swing.JDialog

accessibleContext, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Dialog

DEFAULT_MODALITY_TYPE

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Constructors

Constructor and Description
HeatmapOptionsDialog() Opens a dialog for choosing if and how to display heatmap highlighting.

Method Summary

Modifier and Type	Method and Description
private void	loadSettings(javax.swing.JRadioButton[] radioButtons)
private javax.swing.JPanel	setupButtonPanel(javax.swing.JButton okButton, javax.swing.JButton cancelButton)
private javax.swing.Action	setupOkAction(javax.swing.JPanel panel, javax.swing.ButtonGroup group, javax.swing.JSpinner spinner) Sets up the action that is called on pressing the ok button
private javax.swing.JPanel	setupRadioPanel(javax.swing.JRadioButton[] radioButtons, java.awt.Color bg, javax.swing.JDialog parent)
private javax.swing.JSpinner	setupSpinner()
private javax.swing.JPanel	setupSpinnerPanel(javax.swing.JSpinner spinner, java.awt.Color bg)

Methods inherited from class javax.swing.JDialog

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

Methods inherited from class java.awt.Dialog

addNotify, getModalityType, getTitle, hide, isModal, isResizable, isUndecorated, setBackground, setModal, setModalityType, setOpacity, setResizable, setShape, setTitle, setUndecorated, setVisible, show, toBack

Methods inherited from class java.awt.Window

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

Methods inherited from class java.awt.Container

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

Methods inherited from class java.awt.Component

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

Version ID.

See Also:

Constant Field Values

VS

private static final ViewSettings VS

The view settings

MIN_AGE

private static final int MIN_AGE

Minimal setting for number of highlighted terms

See Also:

Constant Field Values

MAX_AGE

private static final int MAX_AGE

Maximal setting for number of highlighted terms

See Also:

Constant Field Values

INTRO_LABEL

private static final java.lang.String INTRO_LABEL

Text for introductory heatmap explanation

See Also:

Constant Field Values

TEXTFIELD_LABEL

private static final java.lang.String TEXTFIELD_LABEL

Explanation for age textfield

See Also:

Constant Field Values

TOOLTIP_TEXT

private static final java.lang.String TOOLTIP_TEXT

Tool tip for age textfield

See Also:

Constant Field Values

COMMANDS

private static final java.lang.String[] COMMANDS

Button command names

BUTTON_NAMES

private static final java.lang.String[] BUTTON_NAMES

Button names

DESCRIPTIONS

private static final java.lang.String[] DESCRIPTIONS

Descriptions for heatmap options

NUMRADIOBUTTONS

private static final int NUMRADIOBUTTONS

number of radioButtons in the group

See Also:

Constant Field Values

HELPICON

private static final javax.swing.Icon HELPICON

question mark icon

Constructor Detail

HeatmapOptionsDialog

public HeatmapOptionsDialog()

Opens a dialog for choosing if and how to display heatmap highlighting.

Method Detail

loadSettings

private void loadSettings(javax.swing.JRadioButton[] radioButtons)

Parameters:

radioButtons - the radio buttons to set

setupSpinner

private javax.swing.JSpinner setupSpinner()

Returns:

a jSpinner with the correct input constraints

setupButtonPanel

private javax.swing.JPanel setupButtonPanel(javax.swing.JButton okButton,
                                            javax.swing.JButton cancelButton)

Parameters:

okButton - the ok button on the panel

cancelButton - the cancel button on the panel

Returns:

a panel with ok and cancel button

setupSpinnerPanel

private javax.swing.JPanel setupSpinnerPanel(javax.swing.JSpinner spinner,
                                             java.awt.Color bg)

Parameters:

spinner - the spinner shown on the panel

Returns:

a panel with spinner and explanation

setupRadioPanel

private javax.swing.JPanel setupRadioPanel(javax.swing.JRadioButton[] radioButtons,
                                           java.awt.Color bg,
                                           javax.swing.JDialog parent)

Parameters:

radioButtons - the radio buttons shown on the panel

bg - the backgropund color

Returns:

a panel with all the radio buttons and explanations

setupOkAction

private javax.swing.Action setupOkAction(javax.swing.JPanel panel,
                                         javax.swing.ButtonGroup group,
                                         javax.swing.JSpinner spinner)

Sets up the action that is called on pressing the ok button

Parameters:

panel - the main panel

group - the radio button group

spinner - the age spinner

Returns: