FileTreeElementpublic 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