public interface FilteredDirectoryCopier
| Modifier and Type | Method and Description |
|---|---|
void |
copyDir(ProjectFilesystem filesystem,
Path srcDir,
Path destDir,
java.util.function.Predicate<Path> pred)
Creates a filtered copy of a directory.
|
void |
copyDirs(ProjectFilesystem filesystem,
Map<Path,Path> sourcesToDestinations,
java.util.function.Predicate<Path> pred)
Copies multiple directories while filtering out individual files which fail a predicate.
|
void copyDirs(ProjectFilesystem filesystem, Map<Path,Path> sourcesToDestinations, java.util.function.Predicate<Path> pred) throws IOException
sourcesToDestinations - mapping from source to destination directoriespred - predicate to test againstIOExceptionvoid copyDir(ProjectFilesystem filesystem, Path srcDir, Path destDir, java.util.function.Predicate<Path> pred) throws IOException
srcDir - source directorydestDir - destination directorypred - a predicate to determine which files should be copied.IOException