org.apache.tools.ant.types.selectors
public class TypeSelector extends BaseExtendSelector
Since: 1.6
Nested Class Summary | |
---|---|
static class | TypeSelector.FileType
Enumerated attribute with the values for types of file |
Field Summary | |
---|---|
static String | TYPE_KEY Key to used for parameterized custom selector |
Constructor Summary | |
---|---|
TypeSelector()
Creates a new TypeSelector instance.
|
Method Summary | |
---|---|
boolean | isSelected(File basedir, String filename, File file)
The heart of the matter. |
void | setParameters(Parameter[] parameters)
When using this as a custom selector, this method will be called.
|
void | setType(TypeSelector.FileType fileTypes)
Set the type of file to require. |
String | toString() |
void | verifySettings()
Checks to make sure all settings are kosher. |
TypeSelector
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: parameters the complete set of parameters for this selector
Parameters: fileTypes the type of file - file or dir
Returns: a string describing this object