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