ResourceSelector
ExtendFileSelector
AndSelector
, BaseExtendSelector
, BaseSelector
, BaseSelectorContainer
, ContainsRegexpSelector
, ContainsSelector
, DateSelector
, DependSelector
, DepthSelector
, DifferentSelector
, ExecutableSelector
, ExtendSelector
, FilenameSelector
, MajoritySelector
, MappingSelector
, ModifiedSelector
, NoneSelector
, NotSelector
, OrSelector
, OwnedBySelector
, PosixGroupSelector
, PosixPermissionsSelector
, PresentSelector
, ReadableSelector
, ScriptSelector
, SelectSelector
, SignedSelector
, SizeSelector
, SymlinkSelector
, TypeSelector
, WritableSelector
public interface FileSelector extends ResourceSelector
Modifier and Type | Method | Description |
---|---|---|
boolean |
isSelected(java.io.File basedir,
java.lang.String filename,
java.io.File file) |
Method that each selector will implement to create their
selection behaviour.
|
default boolean |
isSelected(Resource r) |
Implement a basic
Resource selection that delegates to this
FileSelector . |
boolean isSelected(java.io.File basedir, java.lang.String filename, java.io.File file) throws BuildException
basedir
- A java.io.File object for the base directoryfilename
- The name of the file to checkfile
- A File object for this filenameBuildException
- if the selector was not configured correctlydefault boolean isSelected(Resource r)
Resource
selection that delegates to this
FileSelector
.isSelected
in interface ResourceSelector
r
- resource