public class PullPushCopier
extends java.lang.Object
Constructor and Description |
---|
PullPushCopier(PullProvider in,
Receiver out)
Create a PullPushCopier
|
Modifier and Type | Method and Description |
---|---|
void |
append()
Copy the input to the output.
|
void |
copy()
Copy the input to the output.
|
public PullPushCopier(PullProvider in, Receiver out)
in
- a PullProvider from which events will be readout
- a Receiver to which copies of the same events will be writtenpublic void copy() throws XPathException
XPathException
- if, for example, the input is not well-formedpublic void append() throws XPathException
XPathException
- if, for example, the input is not well-formedCopyright (c) 2004-2020 Saxonica Limited. All rights reserved.