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.Closeable
close
in interface java.lang.AutoCloseable
java.io.IOException
public 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.