IndentedXmlStringBuilder

org.encalmo.writer.xml.XmlOutputBuilder.IndentedXmlStringBuilder
class IndentedXmlStringBuilder(indentation: Int, initialString: String) extends XmlOutputBuilder

Builder of indented XML output.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

type Result = String

Value members

Concrete methods

final def appendElementEnd(name: String): Unit
final def appendElementStart(name: String): Unit
final def appendElementStart(name: String, attributes: Iterable[(String, String)]): Unit
final def appendText(text: String): Unit
final def result: String

Inherited methods

Attributes

Inherited from:
XmlOutputBuilder

Attributes

Inherited from:
XmlOutputBuilder

Attributes

Inherited from:
XmlOutputBuilder

Attributes

Inherited from:
XmlOutputBuilder