org.apache.tools.ant.types.selectors
public class FilenameSelector extends BaseExtendSelector
Since: 1.5
Field Summary | |
---|---|
static String | CASE_KEY Used for parameterized custom selector |
static String | NAME_KEY Used for parameterized custom selector |
static String | NEGATE_KEY Used for parameterized custom selector |
Constructor Summary | |
---|---|
FilenameSelector()
Creates a new FilenameSelector instance.
|
Method Summary | |
---|---|
boolean | isSelected(File basedir, String filename, File file)
The heart of the matter. |
void | setCasesensitive(boolean casesensitive)
Whether to ignore case when checking filenames.
|
void | setName(String pattern)
The name of the file, or the pattern for the name, that
should be used for selection.
|
void | setNegate(boolean negated)
You can optionally reverse the selection of this selector,
thereby emulating an <exclude> tag, by setting the attribute
negate to true. |
void | setParameters(Parameter[] parameters)
When using this as a custom selector, this method will be called.
|
String | toString() |
void | verifySettings()
Checks to make sure all settings are kosher. |
FilenameSelector
instance.
Parameters: basedir the base directory the scan is being done from filename is the name of the file to check file is a java.io.File object the selector can use
Returns: whether the file should be selected or not
Parameters: casesensitive whether to pay attention to case sensitivity
Parameters: pattern the file pattern that any filename must match against in order to be selected.
Parameters: negated whether to negate this selection
Parameters: parameters the complete set of parameters for this selector
Returns: a string describing this object