public static final class DebuggingView.DVFilter extends Object
Modifier and Type | Class and Description |
---|---|
static class |
DebuggingView.DVFilter.DefaultFilter
Pre-defined default filters enumeration.
|
static class |
DebuggingView.DVFilter.Group
The filter group.
|
Modifier and Type | Method and Description |
---|---|
static DebuggingView.DVFilter |
create(String name,
String displayName,
String tooltip,
Icon selectedIcon,
Preferences valuePrefs,
String valuePrefKey,
boolean isSelectedDefault,
DebuggingView.DVFilter.Group group)
Create a custom filter.
|
static DebuggingView.DVFilter |
getDefault(DebuggingView.DVFilter.DefaultFilter filter)
Get an instance of a default filter.
|
String |
getDisplayName()
Get the filter display name.
|
DebuggingView.DVFilter.Group |
getGroup()
Get the filter group.
|
Icon |
getIcon()
Get the filter icon.
|
String |
getName()
Get the filter name.
|
Preferences |
getPreferences()
Get the filter preferences.
|
String |
getPrefKey()
Get the preference key.
|
String |
getTooltip()
Get the filter tooltip.
|
boolean |
isSelected()
Test if the filter is selected.
|
void |
setSelected(boolean state)
Set the filter as selected/unselected.
|
public static DebuggingView.DVFilter getDefault(DebuggingView.DVFilter.DefaultFilter filter)
filter
- the default filter kindpublic static DebuggingView.DVFilter create(String name, String displayName, String tooltip, Icon selectedIcon, Preferences valuePrefs, String valuePrefKey, boolean isSelectedDefault, DebuggingView.DVFilter.Group group)
name
- name of the filterdisplayName
- display name of the filter (visible in an action menu)tooltip
- tool-tip of the filterselectedIcon
- icon of the filtervaluePrefs
- preferences which are asked for the filter valuevaluePrefKey
- key that is used to retrieve the filter value from preferencesisSelectedDefault
- whether the filter should be selected by default when preferences do not contain the valuegroup
- a filter group, can be null
public DebuggingView.DVFilter.Group getGroup()
null
when the filter has no grouppublic String getName()
public String getDisplayName()
public String getTooltip()
public Icon getIcon()
public boolean isSelected()
public void setSelected(boolean state)
state
- whether to select the filterpublic Preferences getPreferences()
public String getPrefKey()