Class NodeStateEntryTraverser

  • All Implemented Interfaces:
    java.io.Closeable, java.lang.AutoCloseable, java.lang.Iterable<NodeStateEntry>

    public class NodeStateEntryTraverser
    extends java.lang.Object
    implements java.lang.Iterable<NodeStateEntry>, java.io.Closeable
    • Method Detail

      • getId

        public java.lang.String getId()
      • iterator

        @NotNull
        public @NotNull java.util.Iterator<NodeStateEntry> iterator()
        Specified by:
        iterator in interface java.lang.Iterable<NodeStateEntry>
      • withProgressCallback

        public NodeStateEntryTraverser withProgressCallback​(java.util.function.Consumer<java.lang.String> progressReporter)
      • close

        public void close()
                   throws java.io.IOException
        Specified by:
        close in interface java.lang.AutoCloseable
        Specified by:
        close in interface java.io.Closeable
        Throws:
        java.io.IOException
      • getDocumentTraversalRange

        public TraversingRange getDocumentTraversalRange()
        Returns the modification range corresponding to node states which are traversed by this.
        Returns:
        LastModifiedRange