Class SequenceCopier


  • public class SequenceCopier
    extends java.lang.Object
    Copies a sequence, supplied as a SequenceIterator, to a push pipeline, represented by a SequenceReceiver
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void copySequence​(SequenceIterator in, Receiver out)
      Copy a sequence, supplied as a SequenceIterator, to a push pipeline, represented by a SequenceReceiver
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • copySequence

        public static void copySequence​(SequenceIterator in,
                                        Receiver out)
                                 throws XPathException
        Copy a sequence, supplied as a SequenceIterator, to a push pipeline, represented by a SequenceReceiver
        Parameters:
        in - an iterator over the input sequence
        out - a Receiver to receive the output sequence. The method will open this receiver at the start and close it on completion.
        Throws:
        XPathException - if a failure occurs reading the input or writing the output