public interface ReceiverWithOutputProperties extends Receiver
Outputter
that retains
serialization properties (typically, a Receiver that forms part
of the serialization pipeline).Modifier and Type | Method and Description |
---|---|
java.util.Properties |
getOutputProperties()
Get the serialization properties maintained by this
Receiver |
append, append, characters, close, comment, endDocument, endElement, getPipelineConfiguration, handlesAppend, open, processingInstruction, setPipelineConfiguration, setUnparsedEntity, startDocument, startElement, usesTypeAnnotations
Copyright (c) 2004-2022 Saxonica Limited. All rights reserved.