Package docking.widgets.filter
Class FilterOptions
- java.lang.Object
-
- docking.widgets.filter.FilterOptions
-
public class FilterOptions extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.Character
DEFAULT_DELIMITER
static java.lang.String
VALID_MULTITERM_DELIMITERS
static java.lang.String[]
VALID_MULTITERM_DELIMITERS_ARRAY
-
Constructor Summary
Constructors Constructor Description FilterOptions()
FilterOptions(TextFilterStrategy textFilterStrategy, boolean allowGlobbing, boolean caseSensitive, boolean inverted)
FilterOptions(TextFilterStrategy textFilterStrategy, boolean allowGlobbing, boolean caseSensitive, boolean inverted, boolean multiTerm, char delimiterCharacter)
FilterOptions(TextFilterStrategy textFilterStrategy, boolean allowGlobbing, boolean caseSensitive, boolean inverted, boolean multiTerm, char delimiterCharacter, MultitermEvaluationMode mode)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description char
getDelimitingCharacter()
java.lang.String
getFilterDescription()
javax.swing.Icon
getFilterStateIcon()
static javax.swing.Icon
getIcon(TextFilterStrategy filterStrategy)
MultitermEvaluationMode
getMultitermEvaluationMode()
TermSplitter
getTermSplitter()
TextFilterFactory
getTextFilterFactory()
TextFilterStrategy
getTextFilterStrategy()
boolean
isCaseSensitive()
boolean
isGlobbingAllowed()
boolean
isInverted()
boolean
isMultiterm()
static FilterOptions
restoreFromXML(org.jdom.Element element)
org.jdom.Element
toXML()
-
-
-
Constructor Detail
-
FilterOptions
public FilterOptions()
-
FilterOptions
public FilterOptions(TextFilterStrategy textFilterStrategy, boolean allowGlobbing, boolean caseSensitive, boolean inverted)
-
FilterOptions
public FilterOptions(TextFilterStrategy textFilterStrategy, boolean allowGlobbing, boolean caseSensitive, boolean inverted, boolean multiTerm, char delimiterCharacter)
-
FilterOptions
public FilterOptions(TextFilterStrategy textFilterStrategy, boolean allowGlobbing, boolean caseSensitive, boolean inverted, boolean multiTerm, char delimiterCharacter, MultitermEvaluationMode mode)
-
-
Method Detail
-
restoreFromXML
public static FilterOptions restoreFromXML(org.jdom.Element element)
-
toXML
public org.jdom.Element toXML()
-
isCaseSensitive
public boolean isCaseSensitive()
-
isGlobbingAllowed
public boolean isGlobbingAllowed()
-
isInverted
public boolean isInverted()
-
getTextFilterStrategy
public TextFilterStrategy getTextFilterStrategy()
-
isMultiterm
public boolean isMultiterm()
-
getDelimitingCharacter
public char getDelimitingCharacter()
-
getMultitermEvaluationMode
public MultitermEvaluationMode getMultitermEvaluationMode()
-
getTextFilterFactory
public TextFilterFactory getTextFilterFactory()
-
getTermSplitter
public TermSplitter getTermSplitter()
-
getIcon
public static javax.swing.Icon getIcon(TextFilterStrategy filterStrategy)
-
getFilterStateIcon
public javax.swing.Icon getFilterStateIcon()
-
getFilterDescription
public java.lang.String getFilterDescription()
-
-