public interface ReceiverWithOutputProperties extends Receiver
Receiver
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, attribute, characters, close, comment, endDocument, endElement, getPipelineConfiguration, handlesAppend, namespace, open, processingInstruction, setPipelineConfiguration, setSystemId, setUnparsedEntity, startContent, startDocument, startElement, usesTypeAnnotations
Copyright (c) 2004-2020 Saxonica Limited. All rights reserved.