Modifying headers and footers

Modifying headers

To modify a header, the J method must be redefined.

String DocumentType::generateHeader ()

{

String expandedHeader = Header;

if (expandedHeader != "") {

expandedHeader.substitute ("$TITLE",

DG_DOCUMENT.Title);

expandedHeader.substitute ("$AUTHOR",

DG_DOCUMENT.Author);

expandedHeader.substitute ("$REFERENCE",

DG_DOCUMENT.Reference);

expandedHeader.substitute ("$VERSION",

DG_DOCUMENT.Version);

expandedHeader.substitute ("$DATE","\DATE\");

expandedHeader.substitute ("\CR\", "");

expandedHeader.substitute ("<CR/>", "");

return.strcat ("\HEADER ", expandedHeader, " HEADER\",

NL);

}

} // method generateHeader

Modifying footers

To modify a footer, the J method must be redefined.

String DocumentType::generateFooter ()

{

String expandedFooter = Footer;

if (expandedFooter != "") {

expandedFooter.substitute ("$TITLE",

DG_DOCUMENT.Title);

expandedFooter.substitute ("$AUTHOR",

DG_DOCUMENT.Author);

expandedFooter.substitute ("$REFERENCE",

DG_DOCUMENT.Reference);

expandedFooter.substitute ("$VERSION",

DG_DOCUMENT.Version);

expandedFooter.substitute ("$DATE","\DATE\");

return.strcat ("\FOOTER ", expandedFooter, "

FOOTER\", NL);

}

} // method generateFooter