/**
* This is used to buffer characters to the output stream without any translation. This is used
* when buffering the start tags so that they can be reset without affecting the resulting
* document.
*
* @param plain this is the string that is to be buffered
*/
private void append(char[] plain) throws Exception {
buffer.append(plain);
}
/**
* This is used to buffer characters to the output stream without any translation. This is used
* when buffering the start tags so that they can be reset without affecting the resulting
* document.
*
* @param plain this is the string that is to be buffered
*/
private void append(String plain) throws Exception {
buffer.append(plain);
}
/**
* This is used to buffer a character to the output stream without any translation. This is used
* when buffering the start tags so that they can be reset without affecting the resulting
* document.
*
* @param ch this is the character to be written to the output
*/
private void append(char ch) throws Exception {
buffer.append(ch);
}
