public class HTMLIndenterPE extends HTMLIndenter
indentChars
nextReceiver
pipelineConfiguration, previousAtomic, systemId
Constructor and Description |
---|
HTMLIndenterPE(Receiver next,
java.lang.String method) |
Modifier and Type | Method and Description |
---|---|
protected int |
getIndentation()
Get the number of spaces to be used for indentation
|
protected int |
getLineLength()
Get the maximum length of lines, after which long lines will be word-wrapped
|
void |
setOutputProperties(java.util.Properties props)
Set the properties for this indenter
|
characters, classifyTag, comment, endElement, processingInstruction, startElement
append, attribute, close, endDocument, getNamePool, getNextReceiver, namespace, open, setPipelineConfiguration, setSystemId, setUnderlyingReceiver, setUnparsedEntity, startContent, startDocument, usesTypeAnnotations
append, decompose, flatten, getConfiguration, getErrorCodeForDecomposingFunctionItems, getPipelineConfiguration, getSystemId, handlesAppend
public HTMLIndenterPE(Receiver next, java.lang.String method)
public void setOutputProperties(java.util.Properties props)
setOutputProperties
in class HTMLIndenter
props
- the serialization propertiesprotected int getIndentation()
HTMLIndenter
getIndentation
in class HTMLIndenter
protected int getLineLength()
HTMLIndenter
getLineLength
in class HTMLIndenter
Copyright (c) 2004-2020 Saxonica Limited. All rights reserved.