/**
* Makes an XML text representation.
*
* @param buffer
*/
public void makeTextElement(PrintWriter buffer) {
int size;
buffer.print("<header");
if (id_ != null) {
buffer.print(" id=\"");
buffer.print(URelaxer.escapeAttrQuot(URelaxer.getString(getId())));
buffer.print("\"");
}
if (xmlLang_ != null) {
buffer.print(" xml:lang=\"");
buffer.print(URelaxer.escapeAttrQuot(URelaxer.getString(getXmlLang())));
buffer.print("\"");
}
buffer.print(">");
title_.makeTextElement(buffer);
if (subtitle_ != null) {
subtitle_.makeTextElement(buffer);
}
if (version_ != null) {
version_.makeTextElement(buffer);
}
if (type_ != null) {
type_.makeTextElement(buffer);
}
if (authors_ != null) {
authors_.makeTextElement(buffer);
}
size = this.notice_.size();
for (int i = 0; i < size; i++) {
FtNotice value = (FtNotice) this.notice_.get(i);
value.makeTextElement(buffer);
}
if (abstract_ != null) {
abstract_.makeTextElement(buffer);
}
buffer.print("</header>");
}
