public class HTMLIndenterPE extends HTMLIndenter
indentCharsnextReceiverpipelineConfiguration, 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, comment, endElement, startElementappend, attribute, close, endDocument, getNamePool, getUnderlyingReceiver, namespace, open, processingInstruction, setPipelineConfiguration, setSystemId, setUnderlyingReceiver, setUnparsedEntity, startContent, startDocument, usesTypeAnnotationsappend, getConfiguration, getPipelineConfiguration, getSystemId, isTrueSequenceReceiverpublic HTMLIndenterPE(Receiver next, java.lang.String method)
public void setOutputProperties(java.util.Properties props)
props - the serialization propertiesprotected int getIndentation()
HTMLIndentergetIndentation in class HTMLIndenterprotected int getLineLength()
HTMLIndentergetLineLength in class HTMLIndenterCopyright (c) 2004-2018 Saxonica Limited. All rights reserved.