public class XMLIndenterPE extends XMLIndenter
indentChars
nextReceiver
pipelineConfiguration, previousAtomic, systemId
Constructor and Description |
---|
XMLIndenterPE(XMLEmitter next) |
Modifier and Type | Method and Description |
---|---|
protected int |
getIndentation()
Get the number of spaces to be used for indentation
|
protected int |
getLineLength()
Get the suggested maximum length of a line
|
protected boolean |
isDoubleSpaced(NodeName name)
Ask whether a particular element is to be double-spaced
|
void |
setOutputProperties(java.util.Properties props)
Set the properties for this indenter
|
attribute, characters, comment, endDocument, endElement, namespace, open, processingInstruction, startContent, startElement, usesTypeAnnotations
append, close, getNamePool, getNextReceiver, setPipelineConfiguration, setSystemId, setUnderlyingReceiver, setUnparsedEntity, startDocument
append, decompose, flatten, getConfiguration, getErrorCodeForDecomposingFunctionItems, getPipelineConfiguration, getSystemId, handlesAppend
public XMLIndenterPE(XMLEmitter next)
public void setOutputProperties(java.util.Properties props)
setOutputProperties
in class XMLIndenter
props
- the serialization propertiesprotected boolean isDoubleSpaced(NodeName name)
XMLIndenter
isDoubleSpaced
in class XMLIndenter
name
- the element nameprotected int getIndentation()
XMLIndenter
getIndentation
in class XMLIndenter
protected int getLineLength()
XMLIndenter
getLineLength
in class XMLIndenter
Copyright (c) 2004-2020 Saxonica Limited. All rights reserved.