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

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()

Methods inherited from class java.lang.Object

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

Field Detail

VALID_MULTITERM_DELIMITERS

public static final java.lang.String VALID_MULTITERM_DELIMITERS

VALID_MULTITERM_DELIMITERS_ARRAY

public static final java.lang.String[] VALID_MULTITERM_DELIMITERS_ARRAY

DEFAULT_DELIMITER

public static final java.lang.Character DEFAULT_DELIMITER

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()