public class XMLWriter
extends java.lang.Object
Constructor and Description |
---|
XMLWriter()
Creates a new writer backed by a StringBuilder.
|
XMLWriter(boolean compact)
Creates a new writer backed by a StringBuilder.
|
XMLWriter(FileBuilder builder)
Creates a new writer backed by the given FileBuilder.
|
XMLWriter(FileBuilder builder,
boolean compact)
Creates a new writer backed by the given FileBuilder.
|
Modifier and Type | Method and Description |
---|---|
void |
indent(java.lang.String element)
Intend the document.
|
void |
indent(java.lang.String element,
java.lang.String attribute,
int value)
Intend the document.
|
java.lang.String |
toString()
Returns a string representation.
|
void |
unindent()
Unintend.
|
void |
write(java.lang.String string)
Appends the string.
|
void |
write(java.lang.String attribute,
ARXLattice.Anonymity anonymity)
Create an element.
|
void |
write(java.lang.String attribute,
ARXLattice.ARXNode[] array,
java.util.Map<java.lang.String,java.lang.Integer> map)
Create an element.
|
void |
write(java.lang.String attribute,
boolean value)
Create an element.
|
void |
write(java.lang.String attribute,
char value)
Create an element.
|
void |
write(java.lang.String attribute,
double value)
Create an element.
|
void |
write(java.lang.String attribute,
int[] array)
Create an element.
|
void |
write(java.lang.String attribute,
long value)
Create an element.
|
void |
write(java.lang.String attribute,
java.lang.String value)
Create an element.
|
public XMLWriter() throws java.io.IOException
java.io.IOException
public XMLWriter(FileBuilder builder) throws java.io.IOException
builder
- java.io.IOException
public XMLWriter(boolean compact) throws java.io.IOException
compact
- java.io.IOException
public XMLWriter(FileBuilder builder, boolean compact) throws java.io.IOException
builder
- compact
- java.io.IOException
public void indent(java.lang.String element) throws java.io.IOException
element
- java.io.IOException
public void indent(java.lang.String element, java.lang.String attribute, int value) throws java.io.IOException
element
- attribute
- value
- java.io.IOException
public java.lang.String toString()
toString
in class java.lang.Object
public void unindent() throws java.io.IOException
java.io.IOException
public void write(java.lang.String string) throws java.io.IOException
string
- java.io.IOException
public void write(java.lang.String attribute, ARXLattice.Anonymity anonymity) throws java.io.IOException
attribute
- anonymity
- java.io.IOException
public void write(java.lang.String attribute, ARXLattice.ARXNode[] array, java.util.Map<java.lang.String,java.lang.Integer> map) throws java.io.IOException
attribute
- array
- map
- java.io.IOException
public void write(java.lang.String attribute, boolean value) throws java.io.IOException
attribute
- value
- java.io.IOException
public void write(java.lang.String attribute, char value) throws java.io.IOException
attribute
- value
- java.io.IOException
public void write(java.lang.String attribute, double value) throws java.io.IOException
attribute
- value
- java.io.IOException
public void write(java.lang.String attribute, int[] array) throws java.io.IOException
attribute
- array
- java.io.IOException
public void write(java.lang.String attribute, long value) throws java.io.IOException
attribute
- value
- java.io.IOException
public void write(java.lang.String attribute, java.lang.String value) throws java.io.IOException
attribute
- value
- java.io.IOException