public class SequenceCopier extends java.lang.Object
|Modifier and Type||Method and Description|
Copy a sequence, supplied as a SequenceIterator, to a push pipeline, represented by a SequenceReceiver
public static void copySequence(SequenceIterator in, Receiver out) throws XPathException
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.
XPathException- if a failure occurs reading the input or writing the output
Copyright (c) 2004-2022 Saxonica Limited. All rights reserved.