public class NodeDirectoryStream
extends java.lang.Object
implements java.nio.file.DirectoryStream<java.nio.file.Path>
| Constructor and Description |
|---|
NodeDirectoryStream(JcrFileSystem fs,
NodeIterator nodeIterator,
java.util.Iterator<JcrPath> additionalPaths,
java.nio.file.DirectoryStream.Filter<? super java.nio.file.Path> filter) |
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
java.util.Iterator<java.nio.file.Path> |
iterator() |
public NodeDirectoryStream(JcrFileSystem fs, NodeIterator nodeIterator, java.util.Iterator<JcrPath> additionalPaths, java.nio.file.DirectoryStream.Filter<? super java.nio.file.Path> filter)
public void close()
throws java.io.IOException
close in interface java.io.Closeableclose in interface java.lang.AutoCloseablejava.io.IOExceptionpublic java.util.Iterator<java.nio.file.Path> iterator()
iterator in interface java.lang.Iterable<java.nio.file.Path>iterator in interface java.nio.file.DirectoryStream<java.nio.file.Path>Copyright © 2007–2020. All rights reserved.