Package edu.umd.cs.findbugs.gui2

Class PreferencesFrame

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Dialog

javax.swing.JDialog

edu.umd.cs.findbugs.gui2.FBDialog

edu.umd.cs.findbugs.gui2.PreferencesFrame

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants

public class PreferencesFrame
extends FBDialog

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	PreferencesFrame.EnabledSettings
private static class	PreferencesFrame.MatchBox
private class	PreferencesFrame.UninstallClickListener

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

JDialog.AccessibleJDialog

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

Dialog.AccessibleAWTDialog, Dialog.ModalExclusionType, Dialog.ModalityType

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

Window.AccessibleAWTWindow, Window.Type

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

Container.AccessibleAWTContainer

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

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field	Description
private final CheckBoxList<PreferencesFrame.MatchBox>	filterCheckBoxList
private final JPanel	filterPane
private static final int	FONT_MAX
private static final int	FONT_MIN
private JTextField	fontTextField
private static PreferencesFrame	instance
private static final Logger	LOGGER
private final JTabbedPane	mainTabPane
private JTextField	packagePrefixLengthTextField
private final Map<Plugin,PreferencesFrame.EnabledSettings>	pluginEnabledStatus
private JPanel	pluginPanelCenter
private boolean	pluginsAdded
private static final int	TAB_MAX
private static final int	TAB_MIN
private JTextField	tabTextField

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 java.awt.image.ImageObserver

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

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	PreferencesFrame()

Method Summary

Modifier and Type	Method	Description
private void	addField(JPanel p, GridBagConstraints c, int y, String lbl, JComponent field)
private void	changeFontSize()
private void	changePackagePrefixLength()
private void	changeTabSize()
private JPanel	createFilterPane()	Create a JPanel to display the filtering controls.
private JPanel	createPluginPane()
private JPanel	createPropertiesPane()
private Project	getCurrentProject()
static PreferencesFrame	getInstance()
private void	handleWindowClose()
(package private) PreferencesFrame.EnabledSettings	isEnabled(Project project, Plugin plugin)
private void	rebuildPluginCheckboxes()
private void	resetPropertiesPane()
void	showFilterPane()
(package private) void	updateFilterPanel()
static void	updateFilters(boolean addedFilter)

Methods inherited from class edu.umd.cs.findbugs.gui2.FBDialog

addNotify, setFontSize, setFontSizeHelper

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

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, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setMixingCutoutShape, 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 Details

LOGGER

private static final Logger LOGGER

TAB_MIN

private static final int TAB_MIN

See Also:

• Constant Field Values

TAB_MAX

private static final int TAB_MAX

See Also:

• Constant Field Values

FONT_MIN

private static final int FONT_MIN

See Also:

• Constant Field Values

FONT_MAX

private static final int FONT_MAX

See Also:

• Constant Field Values

instance

private static PreferencesFrame instance

filterCheckBoxList

private final CheckBoxList<PreferencesFrame.MatchBox> filterCheckBoxList

tabTextField

private JTextField tabTextField

fontTextField

private JTextField fontTextField

packagePrefixLengthTextField

private JTextField packagePrefixLengthTextField

pluginEnabledStatus

private final Map<Plugin,PreferencesFrame.EnabledSettings> pluginEnabledStatus

pluginPanelCenter

private JPanel pluginPanelCenter

pluginsAdded

private boolean pluginsAdded

filterPane

private final JPanel filterPane

mainTabPane

private final JTabbedPane mainTabPane

Constructor Details

PreferencesFrame

private PreferencesFrame()

Method Details

getInstance

public static PreferencesFrame getInstance()

showFilterPane

public void showFilterPane()

handleWindowClose

private void handleWindowClose()

getCurrentProject

private Project getCurrentProject()

createPluginPane

private JPanel createPluginPane()

isEnabled

PreferencesFrame.EnabledSettings isEnabled(@CheckForNull
 Project project,
 Plugin plugin)

rebuildPluginCheckboxes

private void rebuildPluginCheckboxes()

addField

private void addField(JPanel p,
 GridBagConstraints c,
 int y,
 String lbl,
 JComponent field)

createPropertiesPane

private JPanel createPropertiesPane()

changeTabSize

private void changeTabSize()

changeFontSize

private void changeFontSize()

changePackagePrefixLength

private void changePackagePrefixLength()

resetPropertiesPane

private void resetPropertiesPane()

createFilterPane

private JPanel createFilterPane()

Create a JPanel to display the filtering controls.

updateFilterPanel

void updateFilterPanel()

updateFilters

public static void updateFilters(boolean addedFilter)