FileTreeElement
public interface FileVisitDetails extends FileTreeElement
FileVisitor
.FileTree.visit(groovy.lang.Closure)
Modifier and Type | Method | Description |
---|---|---|
void |
stopVisiting() |
Requests that file visiting terminate after the current file.
|
copyTo, copyTo, getFile, getLastModified, getMode, getName, getPath, getRelativePath, getSize, isDirectory, open