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-2018 Saxonica Limited. All rights reserved.