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 againstIOException
void 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